Class DynamicControlBuilder
java.lang.Object
org.bigraphs.framework.core.ControlBuilder<StringTypedName,FiniteOrdinal<Integer>,DynamicControlBuilder>
org.bigraphs.framework.core.impl.signature.DynamicControlBuilder
public class DynamicControlBuilder
extends ControlBuilder<StringTypedName,FiniteOrdinal<Integer>,DynamicControlBuilder>
Concrete builder for dynamic controls, used by
DynamicSignatureBuilder.
Provides methods to declare whether a control is active, passive, or atomic.- Author:
- Dominik Grzelak
- See Also:
-
Field Summary
Fields inherited from class org.bigraphs.framework.core.ControlBuilder
arity, type -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionassign()protected DynamicControlbuild()identifier(String name) status(ControlStatus status) Methods inherited from class org.bigraphs.framework.core.ControlBuilder
arity, getArity, getType, identifier, self, withControlListBuilder
-
Constructor Details
-
DynamicControlBuilder
protected DynamicControlBuilder()
-
-
Method Details
-
status
-
assign
- Overrides:
assignin classControlBuilder<StringTypedName,FiniteOrdinal<Integer>, DynamicControlBuilder>
-
identifier
-
arity
-
build
- Specified by:
buildin classControlBuilder<StringTypedName,FiniteOrdinal<Integer>, DynamicControlBuilder>
-