FunctionBodyImpl

java.lang.Object

tripleo.elijah_durable_congenial.lang.impl.FunctionBodyImpl

All Implemented Interfaces:: FunctionBody

public class FunctionBodyImpl extends Object implements FunctionBody

Created 8/23/21 2:36 AM

Field Summary

Fields

Modifier and Type

Field

Description

Scope3

scope3
Constructor Summary

Constructors

Constructor

Description

FunctionBodyImpl()
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

Field Details
- scope3
  
  public Scope3 scope3
Constructor Details
- FunctionBodyImpl
  
  public FunctionBodyImpl()
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
- scope3
  
  public Scope3 scope3()
  
  Specified by:
  
  scope3 in interface FunctionBody
- setAbstract
  
  public void setAbstract(boolean aAbstract)
  
  Specified by:
  
  setAbstract in interface FunctionBody
- setScope3
  
  public void setScope3(Scope3 aSc)
  
  Specified by:
  
  setScope3 in interface FunctionBody