o

tip.ast

PointersNormalizer

object PointersNormalizer extends Normalizer

Normalize pointers to fit in the NormalizedForPointsToAnalysis sub-language. In that sub-language, the only allowed pointer statements are the following: id = alloc P where P is null or an integer constant id1 = &id2 id1 = id2 id1 = *id2 *id1 = id2 id = null

Linear Supertypes
Normalizer, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PointersNormalizer
  2. Normalizer
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addDeclaration(decl: AIdentifierDeclaration): Unit

    Adds a declaration.

    Adds a declaration.

    Definition Classes
    Normalizer
  5. def addStatement(stmt: AStmtInNestedBlock): Unit

    Adds a statement.

    Adds a statement.

    Definition Classes
    Normalizer
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  8. val declarations: ListBuffer[AIdentifierDeclaration]

    The list of declarations that have to be added in the current function.

    The list of declarations that have to be added in the current function.

    Definition Classes
    Normalizer
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. var lastUid: Int
    Definition Classes
    Normalizer
  15. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def nestedBlock(stmt: AStmtInNestedBlock): AStmtInNestedBlock

    Helper function to insert statements if there are any to insert before stmt.

    Helper function to insert statements if there are any to insert before stmt. Otherwise, returns the same statement.

    Definition Classes
    Normalizer
  17. def newVariable(): String
    Definition Classes
    Normalizer
  18. def normalizeAssignable(e: Assignable): Assignable

    Normalizes an Assignable.

    Normalizes an Assignable.

    Definition Classes
    Normalizer
  19. def normalizeDeclaration(decl: AFunDeclaration): AFunDeclaration

    Normalizes an AFunDeclaration.

    Normalizes an AFunDeclaration.

    Definition Classes
    Normalizer
  20. def normalizeExpr(e: AExpr): AExpr

    Normalizes an AExpr.

    Normalizes an AExpr.

    Definition Classes
    Normalizer
  21. def normalizeFunBlockStmt(stmt: AFunBlockStmt): AFunBlockStmt

    Normalizes an AFunBlockStmt.

    Normalizes an AFunBlockStmt.

    Definition Classes
    Normalizer
  22. def normalizeLeft(left: Assignable): Assignable

    Normalizes the left-hand side of an assignment so that it has the form id, *id, id.id, or (*id).id.

  23. def normalizeProgram(program: AProgram): AProgram

    Normalizes an AProgram.

    Normalizes an AProgram.

    Definition Classes
    Normalizer
  24. def normalizeRecordField(f: ARecordField): ARecordField

    Normalizes an ARecordField.

    Normalizes an ARecordField.

    Definition Classes
    Normalizer
  25. def normalizeReturnStmt(ret: AReturnStmt): AReturnStmt

    Normalizes an AReturnStmt.

    Normalizes an AReturnStmt.

    Definition Classes
    Normalizer
  26. def normalizeRight(right: AExpr): AExpr

    Normalizes the right-hand side of an assignment so that it has one of the form alloc P, null, &id, *id, or id.

  27. def normalizeStmtInNestedBlock(stmt: AStmtInNestedBlock): AStmtInNestedBlock

    Normalizes an AStmtInNestedBlock.

    Normalizes an AStmtInNestedBlock.

    Definition Classes
    PointersNormalizer → Normalizer
  28. def normalizeToIdentifier(right: AExpr): AIdentifier

    Normalizes an AExpr into an AIdentifier.

    Normalizes an AExpr into an AIdentifier. This is not used by the Normalizer class but useful for subclasses, as this is a common operation.

    Definition Classes
    Normalizer
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  31. val statements: ListBuffer[AStmtInNestedBlock]

    The list of statements to be added in the current block.

    The list of statements to be added in the current block. This will mostly be assignments but can be any statement that can be in a nested block.

    Definition Classes
    Normalizer
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  36. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from Normalizer

Inherited from AnyRef

Inherited from Any

Ungrouped