zeus.concepts
Class FactSummary

java.lang.Object
  zeus.concepts.Summary
      zeus.concepts.FactSummary

public class FactSummary

extends Summary

Field Summary

static java.lang.String	ALLOCATED
protected Fact	fact
static java.lang.String	UNALLOCATED

Fields inherited from class zeus.concepts.Summary

OK, status, UNKNOWN

Constructor Summary

FactSummary(Fact fact, java.lang.String status)

FactSummary(FactSummary s)

Method Summary

boolean	equals(FactSummary s)
Fact	getFact()
java.lang.String	getId()
java.lang.String	getType()
java.lang.String	pprint()
java.lang.String	pprint(int sp)
void	setFact(Fact fact)
void	setStatus(java.lang.String status)
java.lang.String[]	summarize()
java.lang.String	toString()

Methods inherited from class zeus.concepts.Summary

getStatus, isKnown

Methods inherited from class java.lang.Object

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

Field Detail

ALLOCATED

public static final java.lang.String ALLOCATED

See Also:

Constant Field Values

UNALLOCATED

public static final java.lang.String UNALLOCATED

See Also:

Constant Field Values

fact

protected Fact fact

Constructor Detail

FactSummary

public FactSummary(Fact fact,
                   java.lang.String status)

FactSummary

public FactSummary(FactSummary s)

Method Detail

getType

public java.lang.String getType()

getId

public java.lang.String getId()

Specified by:

getId in class Summary

getFact

public Fact getFact()

summarize

public java.lang.String[] summarize()

Specified by:

summarize in class Summary

setStatus

public void setStatus(java.lang.String status)

Specified by:

setStatus in class Summary

setFact

public void setFact(Fact fact)

equals

public boolean equals(FactSummary s)

toString

public java.lang.String toString()

pprint

public java.lang.String pprint()

pprint

public java.lang.String pprint(int sp)