ast
.
dsl
ConfigurationDeclaration
Related Doc:
package dsl
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
Serializable
,
Serializable
,
Product
,
Equals
,
NamespaceField
[
ConfigurationNamespace
],
ProgramDeclaration
,
ParentField
[
PackageDeclaration
],
Declaration
,
ASTNode
,
SourceMapped
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
ConfigurationDeclaration
Serializable
Serializable
Product
Equals
NamespaceField
ProgramDeclaration
ParentField
Declaration
ASTNode
SourceMapped
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
new
ConfigurationDeclaration
(
ident:
ConfigIdent
,
rootCompId:
CompIdent
,
minCardValue:
Option
[
DecIntLit
]
,
failureCondition:
BoolExpr
,
duration:
Option
[
DecRealLit
]
,
reliability:
Option
[
DecRealLit
]
,
designSpace:
List
[
CompSubstitution
]
)
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
absoluteIdent
:
ConfigIdent
def
absolutePath
:
List
[
DSLSymbol
]
def
absolutePathInv
:
List
[
DSLSymbol
]
def
addAltLoc
(
loc:
InFile
)
:
Unit
Definition Classes
SourceMapped
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
designSpace
:
List
[
CompSubstitution
]
val
duration
:
Option
[
DecRealLit
]
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
val
failureCondition
:
BoolExpr
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
val
ident
:
ConfigIdent
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
location
:
SourceLocation
Gets the location.
Gets the location.
Definition Classes
SourceMapped
def
location_
(
loc:
SourceLocation
)
:
Unit
Sets the location.
Sets the location.
Definition Classes
SourceMapped
val
minCardValue
:
Option
[
DecIntLit
]
def
namespace
:
ConfigurationNamespace
Definition Classes
NamespaceField
def
namespaceOpt
:
Option
[
ConfigurationNamespace
]
Definition Classes
NamespaceField
def
namespace_
(
n:
ConfigurationNamespace
)
:
Unit
Definition Classes
NamespaceField
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
otherOpLocation
:
List
[
InFile
]
Definition Classes
SourceMapped
def
parent
:
PackageDeclaration
Definition Classes
ParentField
def
parentOpt
:
Option
[
PackageDeclaration
]
Definition Classes
ParentField
def
parent_
(
p:
PackageDeclaration
)
:
Unit
Definition Classes
ParentField
val
reliability
:
Option
[
DecRealLit
]
val
rootCompId
:
CompIdent
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
ConfigurationDeclaration
→ AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Product
Inherited from
Equals
Inherited from
NamespaceField
[
ConfigurationNamespace
]
Inherited from
ProgramDeclaration
Inherited from
ParentField
[
PackageDeclaration
]
Inherited from
Declaration
Inherited from
ASTNode
Inherited from
SourceMapped
Inherited from
AnyRef
Inherited from
Any
Ungrouped
Declaration of a configuration for an analysis.