MainHelpers

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. object Evaluators extends Category with Product with Serializable

   

5. object General extends Category with Product with Serializable

   

6. object Printing extends Category with Product with Serializable

   

7. object Solvers extends Category with Product with Serializable

   

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. final val debugSections: Set[DebugSection]

    

    Attributes

    protected

11. def displayHelp(reporter: Reporter, error: Boolean): Nothing

    

    Attributes

    protected

12. def displayUsage(reporter: Reporter): Unit

    

    Attributes

    protected

13. def displayVersion(reporter: Reporter): Unit

    

    Attributes

    protected

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

    

    Definition Classes

    AnyRef

15. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

16. def exit(error: Boolean): Nothing

    

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

18. def getCategories: Seq[Category]

    

    Attributes

    protected

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

    

    Definition Classes

    AnyRef → Any

20. def getDebugSections: Set[DebugSection]

    

    Attributes

    protected

21. def getName: String

    

    Attributes

    protected

22. def getOptions: Map[OptionDef[_], Description]

    

    Attributes

    protected

23. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

24. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

26. def newReporter(debugSections: Set[DebugSection]): Reporter

    

    Attributes

    protected

27. final def notify(): Unit

    

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

29. object optDebug extends OptionDef[Set[DebugSection]]

    

30. object optFiles extends OptionDef[Seq[File]]

    

    The current files on which Inox is running.

    The current files on which Inox is running.

    This option cannot be filled through option parsing and must always be instantiated manually (see parseArguments). We therefore MUST NOT add it to the options map!

31. object optHelp extends MarkerOptionDef

    

32. final val options: Map[OptionDef[_], Description]

    

33. def parseArguments(args: Seq[String])(implicit initReporter: Reporter): Context

    

    Attributes

    protected

34. def processOptions(files: Seq[File], inoxOptions: Seq[OptionValue[_]])(implicit initReporter: Reporter): Context

    

    Attributes

    protected

35. def setup(args: Array[String]): Context

    

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

    

    Definition Classes

    AnyRef

37. def toString(): String

    

    Definition Classes

    AnyRef → Any

38. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )