jeops.engine
Class Precondition

java.lang.Object
  |
  +--jeops.engine.Precondition

public class Precondition

extends java.lang.Object

This class models one of the preconditions of a rule.

Version:

0.02 24 Apr 1999 The enclosed expression is no longer of class BoolNode, but a regular JavaExpr.

Author:

Carlos Figueira Filho (csff@di.ufpe.br)

Constructor Summary

Precondition(JavaExpr expression)
Creates a new precondition for a rule, given the expression that represents it.

Method Summary

void	dump(int spaces) Prints the tree for the expression of this precondition.
JavaExpr	getExpression() Returns the expression of this precondition.
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Precondition

public Precondition(JavaExpr expression)

Creates a new precondition for a rule, given the expression that represents it.

Parameters:

expression - the expresison that represents this precondition.

Method Detail

dump

public void dump(int spaces)

Prints the tree for the expression of this precondition. Useful for debugging.

Parameters:

spaces - the identation for the printed output.

getExpression

public JavaExpr getExpression()

Returns the expression of this precondition.

Returns:

the expression of this precondition.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object