Class KindControlBuilder
java.lang.Object
org.bigraphs.framework.core.ControlBuilder<StringTypedName,FiniteOrdinal<Integer>,KindControlBuilder>
org.bigraphs.framework.core.impl.signature.KindControlBuilder
public class KindControlBuilder
extends ControlBuilder<StringTypedName,FiniteOrdinal<Integer>,KindControlBuilder>
Counterpart to
DynamicControlBuilder for constructing controls
in kind signatures, i.e. signatures where a place sort can be specified
for each control.- Author:
- Dominik Grzelak
-
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) Methods inherited from class org.bigraphs.framework.core.ControlBuilder
arity, getArity, getType, identifier, self, withControlListBuilder
-
Constructor Details
-
KindControlBuilder
protected KindControlBuilder()
-
-
Method Details
-
assign
- Overrides:
assignin classControlBuilder<StringTypedName,FiniteOrdinal<Integer>, KindControlBuilder>
-
identifier
-
arity
-
build
- Specified by:
buildin classControlBuilder<StringTypedName,FiniteOrdinal<Integer>, KindControlBuilder>
-