mycompiler.myoperator
Class RelOp

java.lang.Object
  mycompiler.myoperator.Operator
      mycompiler.myoperator.RelOp

Direct Known Subclasses:

EqualOp, GreaterEquOp, GreaterOp, LessEquOp, LessOp, NotEqualOp

public abstract class RelOp
extends Operator

Constructor Summary

RelOp()

Method Summary

abstract void	if_codegen(ClassFile classfile, CodeAttribute code, java.lang.String type, boolean not)
CTripleSet	TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung der Algorithmen 5.49 bis 5.52 von Martin Pl�micke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!

Methods inherited from class mycompiler.myoperator.Operator

codegen

Methods inherited from class java.lang.Object

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

Constructor Detail

RelOp

public RelOp()

Method Detail

if_codegen

public abstract void if_codegen(ClassFile classfile,
                                CodeAttribute code,
                                java.lang.String type,
                                boolean not)
                         throws JVMCodeException

Throws:

JVMCodeException

TRExp

public CTripleSet TRExp(Binary binary,
                        CSubstitutionSet sigma,
                        CTypeAssumptionSet V,
                        CSupportData supportData)

Implementierung der Algorithmen 5.49 bis 5.52 von Martin Pl�micke
Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Integer" �berall durch den BaseType "IntegerType" ersetzt werden!!!
Author: J�rg B�uerle

Specified by:

TRExp in class Operator

Parameters:

binary -

sigma -

V -

supportData -

Returns: