Packages

c

tip

RunOption

class RunOption extends AnyRef

Options for running the TIP system.

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

Instance Constructors

  1. new RunOption()

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. var andersen: Boolean

    If set, perform Andersen-style pointer analysis.

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. var cfa: Boolean

    If set, perform control-flow analysis.

  7. var cfg: Boolean

    If set, construct the (intraprocedural) control-flow graph after parsing.

  8. def check(): Boolean

    Checks that a source file or directory has been provided.

    Checks that a source file or directory has been provided.

    returns

    true if success

  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  10. var concolic: Boolean

    If set, perform concolic execution of the program.

  11. var dfAnalysis: Map[analysis.FlowSensitiveAnalysis.Analysis.Value, analysis.FlowSensitiveAnalysis.AnalysisOption.Value]
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  14. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  16. var icfg: Boolean

    If set, construct the interprocedural control-flow graph after parsing.

  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. var normalizer: Normalizer
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  22. var out: File

    Output directory.

    Output directory. (Default: "./out")

  23. var run: Boolean

    If set, execute the program.

  24. var source: File

    Source file, or directory containing .tip files.

  25. var steensgaard: Boolean

    If set, perform Steensgaard-style pointer analysis.

  26. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  27. def toString(): String
    Definition Classes
    AnyRef → Any
  28. var types: Boolean

    If set, perform type analysis.

  29. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  30. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  31. 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 AnyRef

Inherited from Any

Ungrouped