ua.gradsoft.termware
Class NullFacts

java.lang.Object
  extended by ua.gradsoft.termware.NullFacts
All Implemented Interfaces:
IFacts

public class NullFacts
extends Object
implements IFacts

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

NullFacts

public NullFacts()
Creates a new instance of NullFacts

Method Detail

check

public boolean check(Term t,
                     TransformationContext ctx)
              throws TermWareException
Description copied from interface: IFacts
check fact (called from conditions in left part of rules)

Specified by:
check in interface IFacts
Returns:
false
Throws:
TermWareException

isLoggingMode

public boolean isLoggingMode()
Description copied from interface: IFacts
get logging mode

Specified by:
isLoggingMode in interface IFacts
Returns:
false

set

public void set(Term t,
                TransformationContext ctx)
         throws TermWareException
do nothing.

Specified by:
set in interface IFacts
Throws:
TermWareException

setLoggedEntity

public void setLoggedEntity(String s)
do nothing.

Specified by:
setLoggedEntity in interface IFacts

setLoggingMode

public void setLoggingMode(boolean mode)
do nothing.

Specified by:
setLoggingMode in interface IFacts

unsetLoggedEntity

public void unsetLoggedEntity(String s)
do nothing.

Specified by:
unsetLoggedEntity in interface IFacts

setLoggedEntities

public void setLoggedEntities(Collection<String> s)
do nothing.

Specified by:
setLoggedEntities in interface IFacts

clearLoggedEntities

public void clearLoggedEntities()
do nothing.

Specified by:
clearLoggedEntities in interface IFacts