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

java.lang.Object
  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)