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. implicit class CopyPos extends AnyRef
  2. abstract class StdPhase extends GlobalPhase
    Definition Classes
    SubComponent
  3. final class Transformer extends TypingTransformer
  4. 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. def fixPos(tree: scala.tools.nsc.Global.Tree): scala.tools.nsc.Global.Tree
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  15. val global: Global
    Definition Classes
    SireumComponent → TypingTransformers → SubComponent
  16. def hashCode(): Int
    Definition Classes
    SubComponent → AnyRef → Any
  17. val initial: Boolean
    Definition Classes
    SubComponent
  18. final val internal: Boolean(false)
    Definition Classes
    PluginComponent → SubComponent
  19. def isDollar(t: Any): Boolean
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def newPhase(prev: Phase): StdPhase
    Definition Classes
    SireumComponent → SubComponent
  23. final def notify(): Unit
    Definition Classes
    AnyRef
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  25. def ownPhase: Phase
    Definition Classes
    SubComponent
  26. val phaseName: String
    Definition Classes
    SireumComponent → SubComponent
  27. def phaseNewFlags: Long
    Definition Classes
    SubComponent
  28. def phaseNextFlags: Long
    Definition Classes
    SubComponent
  29. val requires: List[String]
    Definition Classes
    SubComponent
  30. val runsAfter: List[String]
    Definition Classes
    SireumComponent → SubComponent
  31. val runsBefore: List[String]
    Definition Classes
    SireumComponent → SubComponent
  32. val runsRightAfter: Some[String]
    Definition Classes
    SireumComponent → PluginComponent → SubComponent
  33. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  34. val terminal: Boolean
    Definition Classes
    SubComponent
  35. def toString(): String
    Definition Classes
    AnyRef → Any
  36. val unitCons: scala.tools.nsc.Global.Literal
  37. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. 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