Class Postcondition

    • Constructor Detail

      • Postcondition

        public Postcondition()
    • Method Detail

      • isPartOfConstructor

        public boolean isPartOfConstructor()