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"