mycompiler.mystatement
Class Literal

java.lang.Object
  mycompiler.mystatement.Statement
      mycompiler.mystatement.ExprStmt
          mycompiler.mystatement.Expr
              mycompiler.mystatement.Literal

All Implemented Interfaces:

ITypeReplacementListener

Direct Known Subclasses:

BoolLiteral, CharLiteral, IntLiteral, Null, StringLiteral

public abstract class Literal
extends Expr

Field Summary

Fields inherited from class mycompiler.mystatement.Expr

usedid

Fields inherited from class mycompiler.mystatement.ExprStmt

type

Constructor Summary

Literal()

Method Summary

CTripleSet

TRExp(CSubstitutionSet sigma, CTypeAssumptionSet V, CSupportData supportData) Implementierung des Algorithmus 5.40 von Martin Pl�micke Author: J�rg B�uerle

Methods inherited from class mycompiler.mystatement.Expr

get_Name_Menge, get_Name, get_Type_Menge, get_UsedId, sc_check, set_Type, set_UsedId, TRMultiply, TRTuple

Methods inherited from class mycompiler.mystatement.ExprStmt

getType, getTypeLineNumber, getTypeName, replaceType, setType

Methods inherited from class mycompiler.mystatement.Statement

codegen, TRStatement

Methods inherited from class java.lang.Object

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

Constructor Detail

Literal

public Literal()

Method Detail

TRExp

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

Implementierung des Algorithmus 5.40 von Martin Pl�micke
Author: J�rg B�uerle

Specified by:

TRExp in class Expr

Parameters:

sigma -

V -

supportData -

Returns: