Class InstanceOf

java.lang.Object
  |
  +--Statement
        |
        +--ExprStmt
              |
              +--Expr
                    |
                    +--BinaryExpr
                          |
                          +--InstanceOf

public class InstanceOf
extends BinaryExpr


Field Summary
private  Expr expr
           
private  boolean is_instance
           
private  RefType reftype
           
 
Fields inherited from class Expr
usedid
 
Fields inherited from class ExprStmt
type
 
Constructor Summary
(package private) InstanceOf()
           
 
Method Summary
 void codegen(ClassFile classfile, CodeAttribute code, de.dhbwstuttgart.typeinference.Menge paralist)
           
 java.lang.String get_Name()
           
 void sc_check(de.dhbwstuttgart.typeinference.Menge classname, java.util.Hashtable ch, java.util.Hashtable bh, boolean ext, java.util.Hashtable parach, java.util.Hashtable parabh)
           
 void set_Expr(Expr exp)
           
 void set_Type(RefType typ)
           
 
Methods inherited from class Expr
get_Name_Menge, get_Type_Menge, get_UsedId, set_Type, set_UsedId
 
Methods inherited from class ExprStmt
get_Type
 
Methods inherited from class Statement
print_rec, print_rec, print_rec, print_rec
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

expr

private Expr expr

reftype

private RefType reftype

is_instance

private boolean is_instance
Constructor Detail

InstanceOf

InstanceOf()
Method Detail

set_Expr

public void set_Expr(Expr exp)

set_Type

public void set_Type(RefType typ)

sc_check

public void sc_check(de.dhbwstuttgart.typeinference.Menge classname,
                     java.util.Hashtable ch,
                     java.util.Hashtable bh,
                     boolean ext,
                     java.util.Hashtable parach,
                     java.util.Hashtable parabh)
              throws SCStatementException
Specified by:
sc_check in class Expr
SCStatementException

get_Name

public java.lang.String get_Name()
Specified by:
get_Name in class Expr

codegen

public void codegen(ClassFile classfile,
                    CodeAttribute code,
                    de.dhbwstuttgart.typeinference.Menge paralist)
             throws JVMCodeException
Specified by:
codegen in class Statement
JVMCodeException