Package mycompiler.mytypereconstruction.typeassumption

Class Summary
CInstVarTypeAssumption  
CLocalVarTypeAssumption  
CMethodTypeAssumption  
CParaTypeAssumption  
CTypeAssumption Diese Klasse repräsentiert eine Typannahme und bildet einen Bezeichner innerhalb einer bestimmten Klasse auf einen angenommenen Typ ab.