coins.alias
クラス AliasFactory

java.lang.Object
  |
  +--coins.alias.AliasFactory

class AliasFactory
extends java.lang.Object

Factory class.


フィールドの概要
 HirRoot hirRoot
          The HirRoot object shared by every module in the program.
 
コンストラクタの概要
(パッケージプライベート) AliasFactory(HirRoot pHirRoot)
          Creates a new instance of the factory class.
 
メソッドの概要
(パッケージプライベート)  AliasGroup aliasGroup()
          Creates a new instance of AliasGroup with the default initial capacity and default load factor, which is 0.75.
(パッケージプライベート)  Tag mallocTag(HIR pmallocInvocationNode)
          Creates a new instance of Tag that corresponds to the area allocated by the specified malloc invocation node.
(パッケージプライベート)  MyExpId myExpId(HIR pHIR)
          Creates a new instance of MyExpId.
(パッケージプライベート)  MyExpIdAssigner myExpIdAssigner(SubpDefinition pSubpDef)
          Creates a new instance of MyExpIdAssigner that assigns MyExpIds to the nodes contained in the specified SubpDefinition object.
(パッケージプライベート)  Tag otherTag()
          Creates a new instance of Tag that correponds to the Tag.STO_OTHER storage class.
(パッケージプライベート)  Tag tag(MyExpId pMyExpId, boolean pIsAnchored, int pKind, int pStorageClass)
          Creates a new instance of Tag that corresponds to the specified MyExpId object.
(パッケージプライベート)  TagTreeBuilder tagTreeBuilder(SubpDefinition pSubpDef, MyExpId[] pMyExpIds, boolean pIsOptimistic)
          Creates a new instance of TagTreeBuilder that assigns Tags to the MyExpId objects in the specified argument (pMyExpIds) and builds the tree relation between those Tags.
(パッケージプライベート)  TagVector tagVector(int pBitCount)
          Creates a new instance of TagVector with the specified length.
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

hirRoot

public final HirRoot hirRoot
The HirRoot object shared by every module in the program.

コンストラクタの詳細

AliasFactory

AliasFactory(HirRoot pHirRoot)
Creates a new instance of the factory class.

パラメータ:
pHirRoot - HirRoot object shared by every module in the program.
メソッドの詳細

myExpId

MyExpId myExpId(HIR pHIR)
Creates a new instance of MyExpId.

パラメータ:
pHIR - HIR node the generated MyExpId object corresponds to.
戻り値:
new instance of MyExpId that correpsonds to the specified arguement.

otherTag

Tag otherTag()
Creates a new instance of Tag that correponds to the Tag.STO_OTHER storage class.

戻り値:
a new instance of Tag that corresponds to the Tag.STO_OTHER storage class.
関連項目:
Tag

tag

Tag tag(MyExpId pMyExpId,
        boolean pIsAnchored,
        int pKind,
        int pStorageClass)
Creates a new instance of Tag that corresponds to the specified MyExpId object.

パラメータ:
pMyExpId - MyExpId object the generated Tag corresponds to.
pIsAnchored - specifies whether the generated Tag is anchored (corresponds to some limited area in current frame/static area).
pKind - kind of the generated tag.
pStorageClass - storage class of the generated tag.
戻り値:
new instance of Tag with the attributes specified by the arguments.
関連項目:
Tag

mallocTag

Tag mallocTag(HIR pmallocInvocationNode)
Creates a new instance of Tag that corresponds to the area allocated by the specified malloc invocation node.

パラメータ:
pmallocInvocationNode - malloc invocation node the generated tag corresponds to.
戻り値:
new instance of Tag that corresponds to the specified malloc invocation.

myExpIdAssigner

MyExpIdAssigner myExpIdAssigner(SubpDefinition pSubpDef)
Creates a new instance of MyExpIdAssigner that assigns MyExpIds to the nodes contained in the specified SubpDefinition object.

パラメータ:
pSubpDef - SubpDefinition object the generated MyExpIdAssigner object is resposible for.
戻り値:
new instance of MyExpIdAssigner that is responsible for the specified argument.

tagTreeBuilder

TagTreeBuilder tagTreeBuilder(SubpDefinition pSubpDef,
                              MyExpId[] pMyExpIds,
                              boolean pIsOptimistic)
Creates a new instance of TagTreeBuilder that assigns Tags to the MyExpId objects in the specified argument (pMyExpIds) and builds the tree relation between those Tags.

パラメータ:
pSubpDef - SubpDefinition object the generated TagTreeBuilder object is responsible for.
pMyExpIds - array of MyExpId objects where the index of the array corresponds to the index of the HIR node each MyExpId object corresponds to.
pIsOptimistic - determines the set of assumptions about aliasing.
戻り値:
new instance of TagTreeBuilder.
関連項目:
AliasAnalHir1.AliasAnalHir1(boolean, HirRoot)

tagVector

TagVector tagVector(int pBitCount)
Creates a new instance of TagVector with the specified length.

パラメータ:
pBitCount - length of the TagVector.
戻り値:
new instance of TagVector with the specified length.

aliasGroup

AliasGroup aliasGroup()
Creates a new instance of AliasGroup with the default initial capacity and default load factor, which is 0.75.

戻り値:
new instance of AliasGroup.
関連項目:
HashSet.HashSet()