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

Class TCOnFailAnnotation

  • public class TCOnFailAnnotation
extends com.fujitsu.vdmj.tc.annotations.TCAnnotation

    • Field Summary

      • Fields inherited from class com.fujitsu.vdmj.tc.annotations.TCAnnotation

        args, name

    • Constructor Summary

      Constructors 
      Constructor Description
      TCOnFailAnnotation​(com.fujitsu.vdmj.tc.lex.TCIdentifierToken name, com.fujitsu.vdmj.tc.expressions.TCExpressionList args)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void tcAfter​(com.fujitsu.vdmj.tc.expressions.TCExpression exp, com.fujitsu.vdmj.tc.types.TCType type, com.fujitsu.vdmj.typechecker.Environment env, com.fujitsu.vdmj.typechecker.NameScope scope)  
      void tcBefore​(com.fujitsu.vdmj.tc.definitions.TCClassDefinition clazz)  
      void tcBefore​(com.fujitsu.vdmj.tc.definitions.TCDefinition def, com.fujitsu.vdmj.typechecker.Environment env, com.fujitsu.vdmj.typechecker.NameScope scope)  
      void tcBefore​(com.fujitsu.vdmj.tc.expressions.TCExpression exp, com.fujitsu.vdmj.typechecker.Environment env, com.fujitsu.vdmj.typechecker.NameScope scope)  
      void tcBefore​(com.fujitsu.vdmj.tc.modules.TCModule module)  
      void tcBefore​(com.fujitsu.vdmj.tc.statements.TCStatement stmt, com.fujitsu.vdmj.typechecker.Environment env, com.fujitsu.vdmj.typechecker.NameScope scope)  

      • Methods inherited from class com.fujitsu.vdmj.tc.annotations.TCAnnotation

        close, doClose, doInit, doInit, init, reset, tcAfter, tcAfter, tcAfter, tcAfter, toString

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • TCOnFailAnnotation

        public TCOnFailAnnotation​(com.fujitsu.vdmj.tc.lex.TCIdentifierToken name,
                          com.fujitsu.vdmj.tc.expressions.TCExpressionList args)

    • Method Detail

      • tcBefore

        public void tcBefore​(com.fujitsu.vdmj.tc.definitions.TCDefinition def,
                     com.fujitsu.vdmj.typechecker.Environment env,
                     com.fujitsu.vdmj.typechecker.NameScope scope)
        Overrides:
        tcBefore in class com.fujitsu.vdmj.tc.annotations.TCAnnotation

      • tcBefore

        public void tcBefore​(com.fujitsu.vdmj.tc.modules.TCModule module)
        Overrides:
        tcBefore in class com.fujitsu.vdmj.tc.annotations.TCAnnotation

      • tcBefore

        public void tcBefore​(com.fujitsu.vdmj.tc.definitions.TCClassDefinition clazz)
        Overrides:
        tcBefore in class com.fujitsu.vdmj.tc.annotations.TCAnnotation

      • tcBefore

        public void tcBefore​(com.fujitsu.vdmj.tc.statements.TCStatement stmt,
                     com.fujitsu.vdmj.typechecker.Environment env,
                     com.fujitsu.vdmj.typechecker.NameScope scope)
        Overrides:
        tcBefore in class com.fujitsu.vdmj.tc.annotations.TCAnnotation

      • tcBefore

        public void tcBefore​(com.fujitsu.vdmj.tc.expressions.TCExpression exp,
                     com.fujitsu.vdmj.typechecker.Environment env,
                     com.fujitsu.vdmj.typechecker.NameScope scope)
        Overrides:
        tcBefore in class com.fujitsu.vdmj.tc.annotations.TCAnnotation

      • tcAfter

        public void tcAfter​(com.fujitsu.vdmj.tc.expressions.TCExpression exp,
                    com.fujitsu.vdmj.tc.types.TCType type,
                    com.fujitsu.vdmj.typechecker.Environment env,
                    com.fujitsu.vdmj.typechecker.NameScope scope)
        Overrides:
        tcAfter in class com.fujitsu.vdmj.tc.annotations.TCAnnotation