FunctionBodyEmptyImpl

java.lang.Object

tripleo.elijah_durable_congenial.lang.impl.FunctionBodyEmptyImpl

All Implemented Interfaces:: FunctionBody, FunctionBodyEmpty

public class FunctionBodyEmptyImpl extends Object implements FunctionBodyEmpty, FunctionBody

Created 8/23/21 2:37 AM

Constructor Summary

Constructors

Constructor

Description

FunctionBodyEmptyImpl()
Method Summary

Modifier and Type

Method

Description

void

addPostCondition(Postcondition aPostcondition)

void

addPreCondition(Precondition aPrecondition)

boolean

getAbstract()

Scope3

scope3()

void

setAbstract(boolean aAbstract)

void

setScope3(Scope3 aSc)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- FunctionBodyEmptyImpl
  
  public FunctionBodyEmptyImpl()
Method Details
- addPostCondition
  
  public void addPostCondition(Postcondition aPostcondition)
  
  Specified by:
  
  addPostCondition in interface FunctionBody
- addPreCondition
  
  public void addPreCondition(Precondition aPrecondition)
  
  Specified by:
  
  addPreCondition in interface FunctionBody
- getAbstract
  
  public boolean getAbstract()
  
  Specified by:
  
  getAbstract in interface FunctionBody
  
  Specified by:
  
  getAbstract in interface FunctionBodyEmpty
- scope3
  
  public Scope3 scope3()
  
  Specified by:
  
  scope3 in interface FunctionBody
- setAbstract
  
  public void setAbstract(boolean aAbstract)
  
  Specified by:
  
  setAbstract in interface FunctionBody
  
  Specified by:
  
  setAbstract in interface FunctionBodyEmpty
- setScope3
  
  public void setScope3(Scope3 aSc)
  
  Specified by:
  
  setScope3 in interface FunctionBody