Class

ast.dsl

ConfigurationDeclaration

Related Doc: package dsl

Permalink

case class ConfigurationDeclaration(ident: ConfigIdent, rootCompId: CompIdent, minCardValue: Option[DecIntLit], failureCondition: BoolExpr, duration: Option[DecRealLit], reliability: Option[DecRealLit], designSpace: List[CompSubstitution]) extends ProgramDeclaration with NamespaceField[ConfigurationNamespace] with Product with Serializable

Declaration of a configuration for an analysis.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConfigurationDeclaration
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. NamespaceField
  7. ProgramDeclaration
  8. ParentField
  9. Declaration
  10. ASTNode
  11. SourceMapped
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ConfigurationDeclaration(ident: ConfigIdent, rootCompId: CompIdent, minCardValue: Option[DecIntLit], failureCondition: BoolExpr, duration: Option[DecRealLit], reliability: Option[DecRealLit], designSpace: List[CompSubstitution])

    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. def absoluteIdent: ConfigIdent

    Permalink
  5. def absolutePath: List[DSLSymbol]

    Permalink
  6. def absolutePathInv: List[DSLSymbol]

    Permalink
  7. def addAltLoc(loc: InFile): Unit

    Permalink
    Definition Classes
    SourceMapped
  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. val designSpace: List[CompSubstitution]

    Permalink
  11. val duration: Option[DecRealLit]

    Permalink
  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. val failureCondition: BoolExpr

    Permalink
  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  16. val ident: ConfigIdent

    Permalink
  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  18. def location: SourceLocation

    Permalink

    Gets the location.

    Gets the location.

    Definition Classes
    SourceMapped
  19. def location_(loc: SourceLocation): Unit

    Permalink

    Sets the location.

    Sets the location.

    Definition Classes
    SourceMapped
  20. val minCardValue: Option[DecIntLit]

    Permalink
  21. def namespace: ConfigurationNamespace

    Permalink
    Definition Classes
    NamespaceField
  22. def namespaceOpt: Option[ConfigurationNamespace]

    Permalink
    Definition Classes
    NamespaceField
  23. def namespace_(n: ConfigurationNamespace): Unit

    Permalink
    Definition Classes
    NamespaceField
  24. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  25. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  26. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  27. def otherOpLocation: List[InFile]

    Permalink
    Definition Classes
    SourceMapped
  28. def parent: PackageDeclaration

    Permalink
    Definition Classes
    ParentField
  29. def parentOpt: Option[PackageDeclaration]

    Permalink
    Definition Classes
    ParentField
  30. def parent_(p: PackageDeclaration): Unit

    Permalink
    Definition Classes
    ParentField
  31. val reliability: Option[DecRealLit]

    Permalink
  32. val rootCompId: CompIdent

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

    Permalink
    Definition Classes
    AnyRef
  34. def toString(): String

    Permalink
    Definition Classes
    ConfigurationDeclaration → AnyRef → Any
  35. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from ProgramDeclaration

Inherited from Declaration

Inherited from ASTNode

Inherited from SourceMapped

Inherited from AnyRef

Inherited from Any

Ungrouped