imop.lib.analysis.typeSystem

Class StructType

java.lang.Object

imop.lib.analysis.typeSystem.Type

imop.lib.analysis.typeSystem.DerivedType

imop.lib.analysis.typeSystem.StructType

All Implemented Interfaces:

Scopeable

public class StructType
extends DerivedType
implements Scopeable

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	complete
private Scopeable	definingScope Defines the scope (a CompoundStatement, or a TranslationUnit) in which this structure has been declared.
private java.util.ArrayList<StructOrUnionMember>	elementList
private java.lang.String	tag
private java.util.HashMap<java.lang.String,Typedef>	typedefTable
private java.util.HashMap<java.lang.String,Type>	typeTable

Fields inherited from class imop.lib.analysis.typeSystem.Type

storageClasses

Constructor Summary

Constructors

Constructor and Description
StructType(java.lang.String tag, Scopeable definingScope) This method is generally called before diving into the definition, if any, of the related union.

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getDeclarationSpecifiersString()
Scopeable	getDefiningScope()
java.util.ArrayList<StructOrUnionMember>	getElementList()
Type	getElementType(java.lang.String elementName)
java.lang.String	getTag()
java.util.HashMap<java.lang.String,Typedef>	getTypedefTable()
java.util.HashMap<java.lang.String,Type>	getTypeTable()
boolean	isComplete() This method is overridden at appropriate subclasses to return true.
void	makeComplete(java.util.ArrayList<StructOrUnionMember> elementList) This method is called at the end of the construction of a struct.
void	setDefiningScope(Scopeable definingScope)
void	setTag(java.lang.String tag)
void	setTypedefTable(java.util.HashMap<java.lang.String,Typedef> typedefTable)
void	setTypeTable(java.util.HashMap<java.lang.String,Type> typeTable)
java.lang.String	toString() Returns a string of an abstract declaration of this type.

Methods inherited from class imop.lib.analysis.typeSystem.Type

getComplexType, getDeclaration, getDeclaratorString, getIntegerPromotedType, getRealType, getType, getTypeDomain, getTypeEntry, getTypeFromArithmeticKeys, getTypeFromScope, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, getTypeTree, hasConstQualifier, isAggregateType, isBasicType, isCharacterType, isDerivedDeclaratorType, isKnownConstantSized, isRealType, isScalarType, putTypeToScope

Methods inherited from class java.lang.Object

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

Field Detail

definingScope

private Scopeable definingScope

Defines the scope (a CompoundStatement, or a TranslationUnit) in which this structure has been declared.

tag

private java.lang.String tag

elementList

private java.util.ArrayList<StructOrUnionMember> elementList

typeTable

private java.util.HashMap<java.lang.String,Type> typeTable

typedefTable

private java.util.HashMap<java.lang.String,Typedef> typedefTable

complete

private boolean complete

Constructor Detail

StructType

public StructType(java.lang.String tag,
                  Scopeable definingScope)

This method is generally called before diving into the definition, if any, of the related union.

Method Detail

makeComplete

public void makeComplete(java.util.ArrayList<StructOrUnionMember> elementList)

This method is called at the end of the construction of a struct.

Parameters:

elementList -

setTypedefTable

public void setTypedefTable(java.util.HashMap<java.lang.String,Typedef> typedefTable)

getTypedefTable

public java.util.HashMap<java.lang.String,Typedef> getTypedefTable()

setTypeTable

public void setTypeTable(java.util.HashMap<java.lang.String,Type> typeTable)

getTypeTable

public java.util.HashMap<java.lang.String,Type> getTypeTable()

Specified by:

getTypeTable in interface Scopeable

isComplete

public boolean isComplete()

Description copied from class: Type

This method is overridden at appropriate subclasses to return true.

Overrides:

isComplete in class Type

Returns:

getElementList

public java.util.ArrayList<StructOrUnionMember> getElementList()

getElementType

public Type getElementType(java.lang.String elementName)

getDeclarationSpecifiersString

protected java.lang.String getDeclarationSpecifiersString()

Specified by:

getDeclarationSpecifiersString in class Type

toString

public java.lang.String toString()

Description copied from class: Type

Returns a string of an abstract declaration of this type.

Specified by:

toString in class Type

getDefiningScope

public Scopeable getDefiningScope()

setDefiningScope

public void setDefiningScope(Scopeable definingScope)

getTag

public java.lang.String getTag()

setTag

public void setTag(java.lang.String tag)