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

Class INOnFailAnnotation

  • public class INOnFailAnnotation
extends com.fujitsu.vdmj.in.annotations.INAnnotation

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.List<java.lang.String> failures  

      • Fields inherited from class com.fujitsu.vdmj.in.annotations.INAnnotation

        args, name

    • Constructor Summary

      Constructors 
      Constructor Description
      INOnFailAnnotation​(com.fujitsu.vdmj.tc.lex.TCIdentifierToken name, com.fujitsu.vdmj.in.expressions.INExpressionList args)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void inAfter​(com.fujitsu.vdmj.in.expressions.INExpression exp, com.fujitsu.vdmj.values.Value rv, com.fujitsu.vdmj.runtime.Context ctxt)  

      • Methods inherited from class com.fujitsu.vdmj.in.annotations.INAnnotation

        doInit, doInit, inAfter, inBefore, inBefore, init, reset, toString

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • failures

        public static java.util.List<java.lang.String> failures

    • Constructor Detail

      • INOnFailAnnotation

        public INOnFailAnnotation​(com.fujitsu.vdmj.tc.lex.TCIdentifierToken name,
                          com.fujitsu.vdmj.in.expressions.INExpressionList args)

    • Method Detail

      • inAfter

        public void inAfter​(com.fujitsu.vdmj.in.expressions.INExpression exp,
                    com.fujitsu.vdmj.values.Value rv,
                    com.fujitsu.vdmj.runtime.Context ctxt)
        Overrides:
        inAfter in class com.fujitsu.vdmj.in.annotations.INAnnotation