h
ExnContValue
halt
RISC
Handler
ExceptionHandler
hasCycleOnSuperclassChain
TypeAnalysis
hasField
SymbolTable
hashCode
EitherTree GenSeqTree Leaf ListTree MapTree Pair PairTree QuadTree SetTree TripleTree Unused Leaf Pair Unused Assign Block Empty If Return While For Foreach Add Asgn Div Mul Neg Null Num Seqn Sub Var While Pos And Apply Assign Binding Block BoolVal CallCC Divide Empty Equal ExprStmt Greater GreaterEq If Import IswimProg Lambda Less LessEq Let LetRec LetRecStmt LetStmt Match MatchClause Minus MkRef Negate Not NotEqual NumVal Or Pattern Plus Primitives Remainder Return StringVal ThrowTo Times Tuple Val Variable While BooleanTypeValue Equals FalseValue PushFalse PushTrue Test TrueValue ConversionError ToBoolean ToInt ToString ExnContValue SetHandler Alloc Get Put RefTypeValue RefValue LessThan LessThanOrEqual Add Div DivisionByZero IntTypeValue IntValue Mult PushInt Rem Sub Read Write FieldOutOfBounds Fields GetField MkRecord RecordTypeValue RecordValue UnpackRecord App AppCC BindPrims ClosureTypeValue ClosureValue CodeSegment ContTypeValue ContValue DumpEmpty EmptyCont EmptyTypeValue EmptyValue Enter ExceptionTypeValue Exit FunctionSpec GetType Lookup MalformedInstruction MatchError MkClosures MkUserException NonExistentPrimitive PrimTypeValue PrimValue PushEmpty PushMachineException PushType RaiseException Resume ResumeFromDump StackUnderflow TailApp TypeError TypeTypeValue UnboundVariable UnexpectedExit UnexpectedTermination Dup Pop Swap PushString StringTypeValue StringValue UserExceptionValue JArray JFalse JName JNull JNumber JObject JString JTrue App Lam Num Sub Var AddOp App Bind FunType IntType Lam Let Letp NoType Num Opn SubOp Var App EquivQuery EvalQuery FreeNamesQuery FreshQuery Lam Num SubstQuery SwapQuery Var CArrayType CBlock CEmptyStmt CFunctionDecl CInclude CIntExp CIntType CProgram CReturn CStrType CVarDecl Block EmptyStmt IdnDef IdnUse ModuleDecl CAddExp CAndExp CAssignment CDivExp CEqExp CGeExp CGtExp CIdnExp CInitDecl CLeExp CLtExp CModExp CMulExp CNamedType CNeExp CNegExp CNotExp COrExp CSubExp CTypeDef AddExp AndExp Assignment ConstDecl DivExp EqExp GeExp GtExp IdnExp IntExp LeExp LtExp ModExp MulExp NamedType NeExp NegExp NotExp OrExp SubExp TypeDecl VarDecl BuiltinType Constant IntegerValue Module UserType Variable CIfElseStatement CIfStatement CWhileStatement IfStatement WhileStatement Case CaseStatement ForStatement MinMaxCond ValCond CAddrExp CAddrType CCall CDerefExp CStrExp CVoidType Call FPSection ProcDecl ValMode VarMode BuiltinProc Parameter ParamInfo Procedure CFieldExp CIndexExp CRecordType ArrayTypeDef FieldExp FieldIdn FieldList IndexExp RecordTypeDef ArrayType Field RecordType AndExp ArrayVar AssignStmt BoolExp BoolVar Catch EnumConst EnumVar EqualExp ExitStmt ExnConst FieldExp ForStmt GreaterExp IdnExp IfStmt IndexExp IntConst IntExp IntParam IntVar LessExp LoopStmt MinusExp ModExp NegExp NotEqualExp NotExp ObrInt OrExp PlusExp RaiseStmt RecordVar ReturnStmt SlashExp StarExp TryBody TryStmt WhileStmt AddW Beq Bne CmpeqW CmpgtW CmpltW CmpneW Cond DivW Indexed IntDatum Jmp Label LabelDef LdW Local MulW NegW Not Read RemW Ret RISCProg SequenceDatum StW SubW Write AddW Beq Bne CmpeqW CmpgtW CmpltW CmpneW Cond DivW Indexed IntDatum Jmp Label LabelDef LdW Local MulW NegW Not Read RemW Ret SPARC StW SubW Write ArrayType BoolType Constant EnumType EnumTypes ExnType IntType Multiple RecordType RecordTypes Unknown UnknownType Variable Pos Company Dept DU Employee PU AssignStmt Block BooleanLiteral ClassDecl Dot PrimitiveDecl Program UnknownDecl Use VarDecl WhileStmt DisplayGoal MatchGoal TermGoal UnifyGoal Atom Cut Fact Integer Pred Program Rule Var AtomType IntegerType ListType Predicate UnknownType Variable Fork Leaf ADD ADDI AND ANDI BEQ BGE BGT BLE BLT BNE BR BSR CHKI CMP CMPI Comment DIV DIVI LDB LDW MOD MODI MOV MOVI MUL MULI MVN MVNI OR ORI POP PSH RD RET STB STW SUB SUBI Target WRD WRH WRL XOR XORI Add Assign Decl Div Eq For Id IfElse IfThen Mul Ne Num Program Read Str Sub Var While Write BinExp BinExpR Factor Num Program Var VarDecl InOp Leaf PostOp PreOp Val Equal NotSame Same Leaf One Two Leaf One Two Node Tup2 Tup3 Tup4 Tup5 Tup6
hd
Clause Fact Rule
HeapOps
secd
help
Lambda
helpFlag
Driver
helpFlagDefault
Driver