public interface Identifiable
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDescription()
Returns a
String description of the object in the format of the default system printer. |
java.lang.String |
getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Returns a string description in the format of the specified printer.
|
java.lang.String |
getId()
Returns unique node identifier in string form.
|
java.lang.String getId()
java.lang.String getDescription(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
printer
- Printer that provides an output string format.java.lang.String getDescription()
String
description of the object in the format of the default system printer.