zeus.concepts
Class Restriction

java.lang.Object
  zeus.concepts.Restriction

public class Restriction

extends java.lang.Object

Field Summary

private java.lang.String	attributeName
private java.lang.String	factName
private java.lang.String	restriction
private java.lang.String	taskName

Constructor Summary

Restriction(java.lang.String task, java.lang.String fact, java.lang.String attribute, java.lang.String value)

Method Summary

java.lang.String	getAttributeName()
java.lang.String	getFactName()
java.lang.String	getRestriction()
java.lang.String	getTaskName()
java.lang.String	pprint()
java.lang.String	pprint(int spaces)
boolean	sameTarget(Restriction item)
void	setAttributeName(java.lang.String attribute)
void	setFactName(java.lang.String fact)
void	setRestriction(java.lang.String value)
void	setTaskName(java.lang.String task)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

taskName

private java.lang.String taskName

factName

private java.lang.String factName

attributeName

private java.lang.String attributeName

restriction

private java.lang.String restriction

Constructor Detail

Restriction

public Restriction(java.lang.String task,
                   java.lang.String fact,
                   java.lang.String attribute,
                   java.lang.String value)

Method Detail

setTaskName

public void setTaskName(java.lang.String task)

getTaskName

public java.lang.String getTaskName()

setFactName

public void setFactName(java.lang.String fact)

getFactName

public java.lang.String getFactName()

setAttributeName

public void setAttributeName(java.lang.String attribute)

getAttributeName

public java.lang.String getAttributeName()

setRestriction

public void setRestriction(java.lang.String value)

getRestriction

public java.lang.String getRestriction()

sameTarget

public boolean sameTarget(Restriction item)

toString

public java.lang.String toString()

pprint

public java.lang.String pprint()

pprint

public java.lang.String pprint(int spaces)