Class

org.argus.jawa.core.symbolResolver

JawaSymbolTable

Related Doc: package symbolResolver

Permalink

class JawaSymbolTable extends SymbolTable with SymbolTableProducer

Self Type
JawaSymbolTable
Linear Supertypes
SymbolTableProducer, SymbolTableReporter, SymbolTable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. JawaSymbolTable
  2. SymbolTableProducer
  3. SymbolTableReporter
  4. SymbolTable
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new JawaSymbolTable()

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. val ERROR_TAG_TYPE: MarkerType

    Permalink

  5. val WARNING_TAG_TYPE: MarkerType

    Permalink

  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  8. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  12. def globalVar(globalUri: ResourceUri): GlobalVarDecl

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTable

  13. def globalVars: Iterable[ResourceUri]

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTable

  14. var hasErrors: Boolean

    Permalink

  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  20. val pdMap: MMap[ResourceUri, MethodBody]

    Permalink

  21. def procedureSymbolTable(procedureAbsUri: ResourceUri): ProcedureSymbolTable

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTable

  22. def procedureSymbolTableProducer(procedureAbsUri: ResourceUri): MethodBody

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTableProducer

  23. def procedureSymbolTables: Iterable[MethodBody]

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTable

  24. def procedures(procedureUri: ResourceUri): MBuffer[ResourceUri]

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTable

  25. def procedures: Iterable[ResourceUri]

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTable

  26. def reportError(source: Option[FileResourceUri], line: Int, column: Int, offset: Int, length: Int, message: String): Unit

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTableReporter

  27. def reportError(source: Option[FileResourceUri], line: Int, column: Int, message: String): Unit

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTableReporter

  28. def reportError(locPropKey: Key, source: Option[FileResourceUri], pp: PropertyProvider, message: String): Unit

    Permalink
    Definition Classes
    SymbolTableReporter

  29. def reportError(locPropKey: Key, pp: PropertyProvider, message: String): Unit

    Permalink
    Definition Classes
    SymbolTableReporter

  30. def reportNotFound(locPropKey: Key, s: Symbol, template: String): Unit

    Permalink
    Definition Classes
    SymbolTableReporter

  31. def reportRedeclaration(locPropKey: Key, s: Symbol, template: String, other: PropertyProvider): Unit

    Permalink
    Definition Classes
    SymbolTableReporter

  32. def reportWarning(fileUri: Option[String], line: Int, column: Int, offset: Int, length: Int, message: String): Unit

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTableReporter

  33. def reportWarning(fileUri: Option[String], line: Int, column: Int, message: String): Unit

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTableReporter

  34. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  35. val tables: SymbolTableData

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTableProducer

  36. val tags: MArray[LocationTag]

    Permalink

  37. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  38. def toSymbolTable: SymbolTable

    Permalink
    Definition Classes
    JawaSymbolTable → SymbolTableProducer

  39. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  40. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  41. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from SymbolTableProducer

Inherited from SymbolTableReporter

Inherited from SymbolTable

Inherited from AnyRef

Inherited from Any

Ungrouped