| Package | Description |
|---|---|
| org.btrplace.btrpsl |
Main package to parse btrpsl scripts and integrate them to
a model.
|
| org.btrplace.btrpsl.constraint |
This package contains the catalog of placement constraints and the builder to instantiate
them.
|
| org.btrplace.btrpsl.constraint.migration |
Constraints related to migration control.
|
| org.btrplace.btrpsl.element |
This package contains the different operands and the available operation on them.
|
| org.btrplace.btrpsl.tree |
ASTs browsed during the interpretation of scripts.
|
| Modifier and Type | Method and Description |
|---|---|
BtrpOperand |
Script.getImportable(String label)
Get the exported variable.
|
BtrpOperand |
Script.getImportable(String label,
String namespace)
Get the exported operand from its label.
|
BtrpOperand |
SymbolsTable.getSymbol(String label)
Get the content associated to a variable label.
|
| Modifier and Type | Method and Description |
|---|---|
List<BtrpOperand> |
Script.getImportables(String ns)
Get all the operand a given script can import
|
| Modifier and Type | Method and Description |
|---|---|
void |
Script.addExportable(String name,
BtrpOperand e,
Set<String> scopes)
Add an external operand that can be accessed from several given scopes.
|
boolean |
SymbolsTable.declare(String label,
BtrpOperand t)
Declare a new variable.
|
boolean |
SymbolsTable.declareImmutable(String label,
BtrpOperand t)
Declare an immutable variable.
|
| Modifier and Type | Method and Description |
|---|---|
List<Spread> |
SpreadBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<? extends SatConstraint> |
SplitBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a constraint.
|
List<? extends SatConstraint> |
SplitAmongBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a constraint.
|
List<? extends SatConstraint> |
SleepingBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<? extends SatConstraint> |
SeqBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<? extends SatConstraint> |
SatConstraintBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> params)
Build the constraint
|
List<? extends SatConstraint> |
RunningCapacityBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<? extends SatConstraint> |
RunningBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<? extends SatConstraint> |
RootBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<? extends SatConstraint> |
ResourceCapacityBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<SatConstraint> |
ReadyBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<? extends SatConstraint> |
QuarantineBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<? extends SatConstraint> |
PreserveBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<Overbook> |
OverbookBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args) |
List<Online> |
OnlineBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<Offline> |
OfflineBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<NoDelay> |
NoDelayBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<MaxOnline> |
MaxOnlineBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<Lonely> |
LonelyBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a constraint.
|
List<Killed> |
KilledBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build an online constraint.
|
List<Gather> |
GatherBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build the constraint.
|
List<Fence> |
FenceBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a constraint.
|
List<Ban> |
BanBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a ban constraint.
|
List<? extends SatConstraint> |
AmongBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a constraint.
|
boolean |
DefaultSatConstraintBuilder.checkConformance(BtrPlaceTree t,
List<BtrpOperand> ops)
Check if the provided parameters match the constraint signature
|
| Modifier and Type | Method and Description |
|---|---|
List<Sync> |
SyncBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a sync constraint.
|
List<Serialize> |
SerializeBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a serialize constraint.
|
List<? extends SatConstraint> |
BeforeBuilder.buildConstraint(BtrPlaceTree t,
List<BtrpOperand> args)
Build a precedence constraint.
|
| Modifier and Type | Class and Description |
|---|---|
class |
BtrpElement
Denotes either a VM or a node.
|
class |
BtrpNumber
Denotes an number operand.
|
class |
BtrpSet
Denotes a set of operand.
|
class |
BtrpString
A string element in the language.
|
class |
DefaultBtrpOperand
An abstract operand.
|
class |
IgnorableOperand
Denotes an operand that have to be ignored.
|
| Modifier and Type | Method and Description |
|---|---|
BtrpOperand |
IgnorableOperand.copy() |
BtrpOperand |
DefaultBtrpOperand.div(BtrpOperand other) |
BtrpOperand |
BtrpOperand.div(BtrpOperand other)
Divides this operand by another one.
|
BtrpOperand |
DefaultBtrpOperand.minus(BtrpOperand other) |
BtrpOperand |
BtrpOperand.minus(BtrpOperand other)
Computes the difference between this operand and another one.
|
BtrpOperand |
DefaultBtrpOperand.negate() |
BtrpOperand |
BtrpOperand.negate()
Computes the negation of this operand.
|
BtrpOperand |
DefaultBtrpOperand.not() |
BtrpOperand |
BtrpOperand.not()
Compute the opposite of the operand.
|
BtrpOperand |
DefaultBtrpOperand.plus(BtrpOperand other) |
BtrpOperand |
BtrpOperand.plus(BtrpOperand other)
Computes the addition of this operand with another one.
|
BtrpOperand |
DefaultBtrpOperand.power(BtrpOperand nb) |
BtrpOperand |
BtrpOperand.power(BtrpOperand nb)
Computes the power of this operand.
|
BtrpOperand |
DefaultBtrpOperand.remainder(BtrpOperand other) |
BtrpOperand |
BtrpOperand.remainder(BtrpOperand other)
Computes the remainder of this operand division by another one
|
BtrpOperand |
DefaultBtrpOperand.times(BtrpOperand other) |
BtrpOperand |
BtrpOperand.times(BtrpOperand other)
Multiply this operand by another one
|
| Modifier and Type | Method and Description |
|---|---|
List<BtrpOperand> |
BtrpSet.getValues() |
| Modifier and Type | Method and Description |
|---|---|
BtrpOperand |
DefaultBtrpOperand.div(BtrpOperand other) |
BtrpSet |
BtrpSet.div(BtrpOperand nb) |
BtrpOperand |
BtrpOperand.div(BtrpOperand other)
Divides this operand by another one.
|
BtrpNumber |
BtrpNumber.div(BtrpOperand other) |
BtrpNumber |
DefaultBtrpOperand.eq(BtrpOperand other) |
BtrpNumber |
BtrpString.eq(BtrpOperand other) |
BtrpNumber |
BtrpSet.eq(BtrpOperand other) |
BtrpNumber |
BtrpOperand.eq(BtrpOperand other)
Check if this operand is equals to another one.
|
BtrpNumber |
BtrpNumber.eq(BtrpOperand other) |
BtrpNumber |
BtrpElement.eq(BtrpOperand other) |
BtrpNumber |
DefaultBtrpOperand.geq(BtrpOperand other) |
BtrpNumber |
BtrpOperand.geq(BtrpOperand other)
Check if this operand is greater or equals to another one.
|
BtrpNumber |
BtrpNumber.geq(BtrpOperand other) |
BtrpNumber |
DefaultBtrpOperand.gt(BtrpOperand other) |
BtrpNumber |
BtrpOperand.gt(BtrpOperand other)
Check if this operand is strictly greater than another one.
|
BtrpNumber |
BtrpNumber.gt(BtrpOperand other) |
BtrpOperand |
DefaultBtrpOperand.minus(BtrpOperand other) |
BtrpSet |
BtrpSet.minus(BtrpOperand s) |
BtrpOperand |
BtrpOperand.minus(BtrpOperand other)
Computes the difference between this operand and another one.
|
BtrpNumber |
BtrpNumber.minus(BtrpOperand other) |
BtrpOperand |
DefaultBtrpOperand.plus(BtrpOperand other) |
BtrpString |
BtrpString.plus(BtrpOperand o) |
BtrpSet |
BtrpSet.plus(BtrpOperand s) |
BtrpOperand |
BtrpOperand.plus(BtrpOperand other)
Computes the addition of this operand with another one.
|
BtrpNumber |
BtrpNumber.plus(BtrpOperand other) |
BtrpOperand |
DefaultBtrpOperand.power(BtrpOperand nb) |
BtrpSet |
BtrpSet.power(BtrpOperand nb) |
BtrpOperand |
BtrpOperand.power(BtrpOperand nb)
Computes the power of this operand.
|
BtrpNumber |
BtrpNumber.power(BtrpOperand nb) |
static String |
DefaultBtrpOperand.prettyType(BtrpOperand o)
Generate a pretty type for an operand.
|
BtrpOperand |
DefaultBtrpOperand.remainder(BtrpOperand other) |
BtrpSet |
BtrpSet.remainder(BtrpOperand other) |
BtrpOperand |
BtrpOperand.remainder(BtrpOperand other)
Computes the remainder of this operand division by another one
|
BtrpNumber |
BtrpNumber.remainder(BtrpOperand other) |
BtrpOperand |
DefaultBtrpOperand.times(BtrpOperand other) |
BtrpSet |
BtrpSet.times(BtrpOperand s) |
BtrpOperand |
BtrpOperand.times(BtrpOperand other)
Multiply this operand by another one
|
BtrpNumber |
BtrpNumber.times(BtrpOperand other) |
| Modifier and Type | Method and Description |
|---|---|
BtrpOperand |
EnumVar.expand()
Expand the enumeration.
|
BtrpOperand |
EnumElement.expand()
Expand the enumeration.
|
BtrpOperand |
VariableTree.go(BtrPlaceTree parent) |
BtrpOperand |
TimesOperator.go(BtrPlaceTree parent) |
BtrpOperand |
TemplateOptionTree.go(BtrPlaceTree parent) |
BtrpOperand |
TemplateAssignment.go(BtrPlaceTree parent) |
BtrpOperand |
StringTree.go(BtrPlaceTree parent) |
BtrpOperand |
StrictComparisonOperator.go(BtrPlaceTree parent) |
BtrpOperand |
SelfAssignmentStatement.go(BtrPlaceTree parent) |
BtrpOperand |
RemainderOperator.go(BtrPlaceTree parent) |
BtrpOperand |
Range.go(BtrPlaceTree parent) |
BtrpOperand |
PowerOperator.go(BtrPlaceTree parent) |
BtrpOperand |
NumberTree.go(BtrPlaceTree parent) |
BtrpOperand |
NotOperator.go(BtrPlaceTree parent) |
BtrpOperand |
NonStrictComparisonOperator.go(BtrPlaceTree parent) |
BtrpOperand |
NameSpaceStatement.go(BtrPlaceTree parent) |
BtrpOperand |
MinusOperator.go(BtrPlaceTree parent) |
BtrpOperand |
ImportStatement.go(BtrPlaceTree parent) |
BtrpOperand |
IfStatement.go(BtrPlaceTree parent) |
BtrpOperand |
ForStatement.go(BtrPlaceTree parent) |
BtrpOperand |
ExportStatement.go(BtrPlaceTree parent) |
BtrpOperand |
ExplodedSetTree.go(BtrPlaceTree parent) |
BtrpOperand |
ErrorTree.go(BtrPlaceTree parent) |
BtrpOperand |
EqComparisonOperator.go(BtrPlaceTree parent) |
BtrpOperand |
EnumVar.go(BtrPlaceTree parent) |
BtrpOperand |
EnumElement.go(BtrPlaceTree parent) |
BtrpOperand |
ElementTree.go(BtrPlaceTree parent) |
BtrpOperand |
DivideOperator.go(BtrPlaceTree parent) |
BtrpOperand |
DiscreteToken.go(BtrPlaceTree parent) |
BtrpOperand |
ConstraintStatement.go(BtrPlaceTree parent)
Build the constraint.
|
BtrpOperand |
CardinalityOperator.go(BtrPlaceTree parent) |
BtrpOperand |
BtrPlaceTree.go(BtrPlaceTree parent)
Parse the root of the tree.
|
BtrpOperand |
BooleanBinaryOperation.go(BtrPlaceTree parent) |
BtrpOperand |
BlockStatement.go(BtrPlaceTree parent) |
BtrpOperand |
AssignmentStatement.go(BtrPlaceTree parent) |
BtrpOperand |
AddOperator.go(BtrPlaceTree parent) |
Copyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.