Class FunctionBodyEmptyImpl
java.lang.Object
tripleo.elijah_durable_congenial.lang.impl.FunctionBodyEmptyImpl
- All Implemented Interfaces:
FunctionBody,FunctionBodyEmpty
Created 8/23/21 2:37 AM
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidaddPostCondition(Postcondition aPostcondition) voidaddPreCondition(Precondition aPrecondition) booleanscope3()voidsetAbstract(boolean aAbstract) void
-
Constructor Details
-
FunctionBodyEmptyImpl
public FunctionBodyEmptyImpl()
-
-
Method Details
-
addPostCondition
- Specified by:
addPostConditionin interfaceFunctionBody
-
addPreCondition
- Specified by:
addPreConditionin interfaceFunctionBody
-
getAbstract
public boolean getAbstract()- Specified by:
getAbstractin interfaceFunctionBody- Specified by:
getAbstractin interfaceFunctionBodyEmpty
-
scope3
- Specified by:
scope3in interfaceFunctionBody
-
setAbstract
public void setAbstract(boolean aAbstract) - Specified by:
setAbstractin interfaceFunctionBody- Specified by:
setAbstractin interfaceFunctionBodyEmpty
-
setScope3
- Specified by:
setScope3in interfaceFunctionBody
-