Class PrintFlags
java.lang.Object
es.ucm.maude.bindings.PrintFlags
Print flags.
-
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final PrintFlagsdag node coloring based on ctor/reduced statusstatic final PrintFlagsrespect concealed argument listsstatic final PrintFlags(c).s for every constant cstatic final PrintFlagsfor assoc symbolsstatic final PrintFlagsrespect format attributestatic final PrintFlagsmixfix notationstatic final PrintFlagsfor nats & intsstatic final PrintFlagsfor ratsstatic final PrintFlagsfor variablesstatic final PrintFlagsmaximal parens -
Method Summary
Modifier and TypeMethodDescriptionstatic PrintFlagsswigToEnum(int swigValue) final inttoString()
-
Field Details
-
PRINT_CONCEAL
respect concealed argument lists -
PRINT_FORMAT
respect format attribute -
PRINT_MIXFIX
mixfix notation -
PRINT_WITH_PARENS
maximal parens -
PRINT_COLOR
dag node coloring based on ctor/reduced status -
PRINT_DISAMBIG_CONST
(c).s for every constant c -
PRINT_WITH_ALIASES
for variables -
PRINT_FLAT
for assoc symbols -
PRINT_NUMBER
for nats & ints -
PRINT_RAT
for rats
-
-
Method Details
-
swigValue
public final int swigValue() -
toString
-
swigToEnum
-