PPL Configured Java Language Interface
1.2
|
An interface for objects converting a Variable id to a string. More...
Public Member Functions | |
String | stringify (long var_id) |
An interface for objects converting a Variable id to a string.
If customized variable output is required, the user should implement this interface and pass a corresponding instance to Variable's static method setStringifier
.