Class ProcessingContextInformation


  • public class ProcessingContextInformation
    extends Object

    Holds all context-specific information which is needed during the transformation phase of a single Contract and its related ClassNode.

    • Method Detail

      • setConstructorAssertionsEnabled

        public void setConstructorAssertionsEnabled​(boolean other)
      • isConstructorAssertionsEnabled

        public boolean isConstructorAssertionsEnabled()
      • isPreconditionsEnabled

        public boolean isPreconditionsEnabled()
      • isPostconditionsEnabled

        public boolean isPostconditionsEnabled()
      • isClassInvariantsEnabled

        public boolean isClassInvariantsEnabled()