Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.types.label
Class AccessPathField

    java.lang.Object
      jif.types.label.AccessPath
          jif.types.label.AccessPathField

All Implemented Interfaces:
  java.io.Serializable

    public class AccessPathField

extends AccessPath

Represent a final access path whose last element is a field access to a final field, for example "p.f", where p is a final access path.

See Also:
  `AccessPath`, Serialized Form

Field Summary
`protected polyglot.types.FieldInstance` | `fi`
`protected java.lang.String` | `fieldName`
`protected AccessPath` | `path`

Constructor Summary
`AccessPathField(AccessPath path, polyglot.types.FieldInstance fi, java.lang.String fieldName, polyglot.util.Position pos)`

Method Summary
`boolean` | `equals(java.lang.Object o)`
`boolean` | `equivalentTo(AccessPath p, LabelEnv env)`
`java.lang.String` | `exprString()`
`polyglot.types.FieldInstance` | `fieldInstance()`
`int` | `hashCode()`
`boolean` | `isCanonical()`
`boolean` | `isNeverNull()`
`protected boolean` | `isTargetNeverNull()`
`boolean` | `isUninterpreted()`
`PathMap` | `labelcheck(JifContext A, LabelChecker lc)`
`AccessPath` | `path()`
`AccessPathRoot` | `root()`
`void` | `setIsNeverNull()`
`AccessPath` | `subst(AccessPathRoot r, AccessPath e)` Return the result of substituting the root r with the access path e.
`java.util.List` | `throwTypes(polyglot.types.TypeSystem ts)` Return a list of types that may be thrown as a result of the runtime evaluation of this path.
`java.lang.String` | `toString()`
`polyglot.types.Type` | `type()` The type of the access path (when the access path is regarded as an expression).
`void` | `verify(JifContext A)` Go through the path, check that all the type information is set correctly, and check that every field access is to a final field, and any local used is final

Methods inherited from class jif.types.label.AccessPath
`position`

Methods inherited from class java.lang.Object
`clone, finalize, getClass, notify, notifyAll, wait, wait, wait`

Field Detail

### fi

    protected polyglot.types.FieldInstance fi

### fieldName

    protected java.lang.String fieldName

### path

    protected final AccessPath path

Constructor Detail

### AccessPathField

    public AccessPathField(AccessPath path,
                           polyglot.types.FieldInstance fi,
                           java.lang.String fieldName,
                           polyglot.util.Position pos)

Method Detail

### isNeverNull

    public boolean isNeverNull()

  Specified by:
    `isNeverNull` in class `AccessPath`

### setIsNeverNull

    public void setIsNeverNull()

### isCanonical

    public boolean isCanonical()

  Specified by:
    `isCanonical` in class `AccessPath`

### isUninterpreted

    public boolean isUninterpreted()

  Specified by:
    `isUninterpreted` in class `AccessPath`

### subst

    public AccessPath subst(AccessPathRoot r,
                            AccessPath e)

  Description copied from class: `AccessPath`
  Return the result of substituting the root r with the access path e. For example, given a field access path "this.f", substituting the access path root "this" for the access path "o.g" will result in the access path "o.g.f". This method is used to instantiate procedures for calls, and labels of fields.

  Specified by:
    `subst` in class `AccessPath`

### root

    public final AccessPathRoot root()

  Specified by:
    `root` in class `AccessPath`

### toString

    public java.lang.String toString()

  Overrides:
    `toString` in class `java.lang.Object`

### exprString

    public java.lang.String exprString()

  Overrides:
    `exprString` in class `AccessPath`

### path

    public AccessPath path()

### fieldInstance

    public polyglot.types.FieldInstance fieldInstance()

### equals

    public boolean equals(java.lang.Object o)

  Specified by:
    `equals` in class `AccessPath`

### hashCode

    public int hashCode()

  Specified by:
    `hashCode` in class `AccessPath`

### type

    public polyglot.types.Type type()

  Description copied from class: `AccessPath`
  The type of the access path (when the access path is regarded as an expression).

  Specified by:
    `type` in class `AccessPath`

### labelcheck

    public PathMap labelcheck(JifContext A,
                              LabelChecker lc)

  Specified by:
    `labelcheck` in class `AccessPath`

### isTargetNeverNull

    protected boolean isTargetNeverNull()

### verify

    public void verify(JifContext A)
                throws polyglot.types.SemanticException

  Description copied from class: `AccessPath`
  Go through the path, check that all the type information is set correctly, and check that every field access is to a final field, and any local used is final

  Overrides:
    `verify` in class `AccessPath`
  Throws:
    `polyglot.types.SemanticException`

### throwTypes

    public java.util.List throwTypes(polyglot.types.TypeSystem ts)

  Description copied from class: `AccessPath`
  Return a list of types that may be thrown as a result of the runtime evaluation of this path.

  Overrides:
    `throwTypes` in class `AccessPath`

### equivalentTo

    public boolean equivalentTo(AccessPath p,
                                LabelEnv env)

  Specified by:
    `equivalentTo` in class `AccessPath`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD