Constant Field Values

Contents

commands.*

  • commands.TranslateCommand
    Modifier and Type
    Constant Field
    Value
    public static final String
    HELP
    "translate - translate the VDM specification"

examples.v2c.*

  • examples.v2c.tr.TRNode
    Modifier and Type
    Constant Field
    Value
    public static final String
    MAPPINGS
    "tc-tr.mappings"