PostconditionImpl

java.lang.Object

tripleo.elijah_durable_congenial.lang.impl.PostconditionImpl

All Implemented Interfaces:: Postcondition

public class PostconditionImpl extends Object implements Postcondition

Created 12/22/20 11:47 PM

Constructor Summary

Constructors

Constructor

Description

PostconditionImpl()
Method Summary

Modifier and Type

Method

Description

void

expr(IExpression expr)

void

id(IdentExpression id)

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

Constructor Details
- PostconditionImpl
  
  public PostconditionImpl()
Method Details
- expr
  
  public void expr(IExpression expr)
  
  Specified by:
  
  expr in interface Postcondition
- id
  
  public void id(IdentExpression id)
  
  Specified by:
  
  id in interface Postcondition