Package org.intocps.maestro.framework.fmi2.vdm.annotations.ast

Class ASTOnFailAnnotation

  • public class ASTOnFailAnnotation
extends com.fujitsu.vdmj.ast.annotations.ASTAnnotation

    • Field Summary

      • Fields inherited from class com.fujitsu.vdmj.ast.annotations.ASTAnnotation

        args, name

    • Constructor Summary

      Constructors 
      Constructor Description
      ASTOnFailAnnotation​(com.fujitsu.vdmj.ast.lex.LexIdentifierToken name)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isBracketed()  

      • Methods inherited from class com.fujitsu.vdmj.ast.annotations.ASTAnnotation

        astAfter, astAfter, astAfter, astAfter, astAfter, astBefore, astBefore, astBefore, astBefore, astBefore, parse, parseException, setArgs, toString

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • ASTOnFailAnnotation

        public ASTOnFailAnnotation​(com.fujitsu.vdmj.ast.lex.LexIdentifierToken name)

    • Method Detail

      • isBracketed

        public boolean isBracketed()
        Overrides:
        isBracketed in class com.fujitsu.vdmj.ast.annotations.ASTAnnotation