Uses of Class
mycompiler.mystatement.Binary

Packages that use Binary

mycompiler.myoperator

Uses of Binary in mycompiler.myoperator

Methods in mycompiler.myoperator with parameters of type Binary

CTripleSet	RelOp.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!!!
abstract CTripleSet	Operator.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData)
CTripleSet	NotEqualOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.54 von Martin Plümicke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" überall durch den BaseType "BooleanType" ersetzt werden!!!
CTripleSet	MulOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung der Algorithmen 5.46, 5.47 und 5.48 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!!!
CTripleSet	LogOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" überall durch den BaseType "BooleanType" ersetzt werden!!!
CTripleSet	EqualOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.53 von Martin Plümicke Achtung Workaround: Wenn die BaseTypes endlich korrekt implementiert sind, dann sollte der RefType "Boolean" überall durch den BaseType "BooleanType" ersetzt werden!!!
CTripleSet	AddOp.TRExp(Binary binary, CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung der Algorithmen 5.44 und 5.45 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!!!