ua.gradsoft.javachecker.trace
Class FalseTraceCondition

java.lang.Object
  ua.gradsoft.javachecker.trace.FalseTraceCondition

All Implemented Interfaces:

TraceCondition

public class FalseTraceCondition
extends java.lang.Object
implements TraceCondition

trace condition for false. (immutable singleton constant)

Author:

rssh

Constructor Summary

FalseTraceCondition(JavaTermStatementModel statement, JavaTypeModel enclosedType)

Method Summary

TraceCondition	cloneTraceCondition()
TraceConditionResult	eval(JavaTraceContext traceContext) try to eval condition in given context.
void	forse(JavaTraceContext traceContext) forse traceContext to be true.
JavaTermExpressionModel	getExpression()
Term	getTraceConditionTerm()
TraceCondition	invert()
TraceCondition	simplicify(JavaTraceContext ctx)

Methods inherited from class java.lang.Object

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

Constructor Detail

FalseTraceCondition

public FalseTraceCondition(JavaTermStatementModel statement,
                           JavaTypeModel enclosedType)

Method Detail

getExpression

public JavaTermExpressionModel getExpression()
                                      throws TermWareException

Specified by:

getExpression in interface TraceCondition

Throws:

TermWareException

getTraceConditionTerm

public Term getTraceConditionTerm()

Specified by:

getTraceConditionTerm in interface TraceCondition

cloneTraceCondition

public TraceCondition cloneTraceCondition()

Specified by:

cloneTraceCondition in interface TraceCondition

eval

public TraceConditionResult eval(JavaTraceContext traceContext)

Description copied from interface: TraceCondition

try to eval condition in given context.

Specified by:

eval in interface TraceCondition

forse

public void forse(JavaTraceContext traceContext)
           throws ImpossibleForsingOfTraceCondition

Description copied from interface: TraceCondition

forse traceContext to be true. i. e. let we know that this condition is true, then we can deduce some facts about traceContext and set ther (i.e. in target traceContext) appropriateve variables. for example, if we know that (a=b) and in traceContext variables for a is known -- than we can assign a to b.

Specified by:

forse in interface TraceCondition

Throws:

ImpossibleForsingOfTraceCondition

simplicify

public TraceCondition simplicify(JavaTraceContext ctx)

Specified by:

simplicify in interface TraceCondition

invert

public TraceCondition invert()

Specified by:

invert in interface TraceCondition