edu.ksu.cis.projects.bogor.ast.checker
Class Checker.CheckValueResult

java.lang.Object
  extended by edu.ksu.cis.projects.bogor.ast.checker.Checker.CheckValueResult
Enclosing class:
Checker

public static class Checker.CheckValueResult
extends Object

Checks a value.


Field Summary
 Object boxedValue
          An Object instance is used as a valuation of "null".
 Type naturalType
          Non-null.
 
Constructor Summary
Checker.CheckValueResult(Object boxedVal, Type naturalType)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

boxedValue

public final Object boxedValue
An Object instance is used as a valuation of "null". An enum value is represented as its qualified name. null if an error has occurred.


naturalType

public final Type naturalType
Non-null.

Constructor Detail

Checker.CheckValueResult

public Checker.CheckValueResult(Object boxedVal,
                                Type naturalType)