|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectua.gradsoft.termware.NullFacts
public class NullFacts
NullFacts - dummy facts.
| Constructor Summary | |
|---|---|
NullFacts()
Creates a new instance of NullFacts |
|
| Method Summary | |
|---|---|
boolean |
check(Term t,
TransformationContext ctx)
check fact (called from conditions in left part of rules) |
void |
clearLoggedEntities()
do nothing. |
boolean |
isLoggingMode()
get logging mode |
void |
set(Term t,
TransformationContext ctx)
do nothing. |
void |
setLoggedEntities(Collection<String> s)
do nothing. |
void |
setLoggedEntity(String s)
do nothing. |
void |
setLoggingMode(boolean mode)
do nothing. |
void |
unsetLoggedEntity(String s)
do nothing. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public NullFacts()
| Method Detail |
|---|
public boolean check(Term t,
TransformationContext ctx)
throws TermWareException
IFacts
check in interface IFactsTermWareExceptionpublic boolean isLoggingMode()
IFacts
isLoggingMode in interface IFacts
public void set(Term t,
TransformationContext ctx)
throws TermWareException
set in interface IFactsTermWareExceptionpublic void setLoggedEntity(String s)
setLoggedEntity in interface IFactspublic void setLoggingMode(boolean mode)
setLoggingMode in interface IFactspublic void unsetLoggedEntity(String s)
unsetLoggedEntity in interface IFactspublic void setLoggedEntities(Collection<String> s)
setLoggedEntities in interface IFactspublic void clearLoggedEntities()
clearLoggedEntities in interface IFacts
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||