Package tripleo.elijah_durable_congenial.lang.i

Interface FunctionBody

All Known Implementing Classes:
FunctionBodyEmptyImpl, FunctionBodyImpl
public interface FunctionBody

  • Method Details

    • addPostCondition

      void addPostCondition(Postcondition aPostcondition)

    • addPreCondition

      void addPreCondition(Precondition aPrecondition)

    • getAbstract

      boolean getAbstract()

    • scope3

      Scope3 scope3()

    • setAbstract

      void setAbstract(boolean aAbstract)

    • setScope3

      void setScope3(Scope3 aSc)