ua.gradsoft.javachecker.trace
Class JavaBooleanTraceModel

java.lang.Object
  ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel
      ua.gradsoft.javachecker.trace.JavaBooleanTraceModel

All Implemented Interfaces:

JavaTraceObjectModel

public class JavaBooleanTraceModel
extends JavaPrimitiveTraceModel

Trace Model for boolean primitive

Field Summary

Fields inherited from class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel

typeModel_

Constructor Summary

JavaBooleanTraceModel(boolean value)

Method Summary

JavaExpressionModel	getExpressionModel()
boolean	getValue()
void	setValue(boolean value)

Methods inherited from class ua.gradsoft.javachecker.trace.JavaPrimitiveTraceModel

getField, getType, hasFields, setField

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaBooleanTraceModel

public JavaBooleanTraceModel(boolean value)

Method Detail

getExpressionModel

public JavaExpressionModel getExpressionModel()

getValue

public boolean getValue()

setValue

public void setValue(boolean value)