public class PrintElement extends Object
| Constructor and Description |
|---|
PrintElement(String text,
String prefix) |
| Modifier and Type | Method and Description |
|---|---|
String |
getPrefix() |
String |
getText() |
void |
setPrefix(String prefix) |
void |
setText(String text) |
Copyright © 2018 JULIE Lab, Germany. All rights reserved.