Packages

c

org.sireum.scalac

SireumComponent

final class SireumComponent extends PluginComponent with TypingTransformers

Linear Supertypes
TypingTransformers, PluginComponent, SubComponent, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SireumComponent
  2. TypingTransformers
  3. PluginComponent
  4. SubComponent
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new SireumComponent(global: Global)

Type Members

  1. abstract class StdPhase extends GlobalPhase
    Definition Classes
    SubComponent
  2. final class Transformer extends scala.tools.nsc.Global.Transformer
  3. abstract class TypingTransformer extends scala.tools.nsc.Global.Transformer
    Definition Classes
    TypingTransformers

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. final def afterOwnPhase[T](op: ⇒ T): T
    Definition Classes
    SubComponent
    Annotations
    @inline()
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. final def beforeOwnPhase[T](op: ⇒ T): T
    Definition Classes
    SubComponent
    Annotations
    @inline()
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def description: String
    Definition Classes
    PluginComponent
  9. def enabled: Boolean
    Definition Classes
    SubComponent
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  14. val global: Global
    Definition Classes
    SireumComponent → TypingTransformers → SubComponent
  15. def hashCode(): Int
    Definition Classes
    SubComponent → AnyRef → Any
  16. val initial: Boolean
    Definition Classes
    SubComponent
  17. final val internal: Boolean(false)
    Definition Classes
    PluginComponent → SubComponent
  18. def isDollar(t: Any): Boolean
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def newPhase(prev: Phase): StdPhase
    Definition Classes
    SireumComponent → SubComponent
  22. final def notify(): Unit
    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  24. def ownPhase: Phase
    Definition Classes
    SubComponent
  25. val phaseName: String
    Definition Classes
    SireumComponent → SubComponent
  26. def phaseNewFlags: Long
    Definition Classes
    SubComponent
  27. def phaseNextFlags: Long
    Definition Classes
    SubComponent
  28. val requires: List[String]
    Definition Classes
    SubComponent
  29. val runsAfter: List[String]
    Definition Classes
    SireumComponent → SubComponent
  30. val runsBefore: List[String]
    Definition Classes
    SireumComponent → SubComponent
  31. val runsRightAfter: Some[String]
    Definition Classes
    SireumComponent → PluginComponent → SubComponent
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. val terminal: Boolean
    Definition Classes
    SubComponent
  34. def toString(): String
    Definition Classes
    AnyRef → Any
  35. val unitCons: scala.tools.nsc.Global.Literal
  36. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from TypingTransformers

Inherited from PluginComponent

Inherited from SubComponent

Inherited from AnyRef

Inherited from Any

Ungrouped