Skip to content

Commit 0475557

Browse files
committed
refactor(core): simplify naming in bigraph/signature builders --- shorter method names & class renames --- docu updated
1 parent 74e6e6d commit 0475557

File tree

141 files changed

+4472
-4594
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

141 files changed

+4472
-4594
lines changed

README.md

Lines changed: 25 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
<img src="etc/assets/bigraph-framework-logo.png" style="zoom:67%;" />
22

3-
> Latest Version: **2.1.2**
3+
> Latest Version: **2.2.0**
4+
5+
[![HiRSE Code Promo Badge](https://img.shields.io/badge/Promo-8db427?style=plastic&label=HiRSE&labelColor=005aa0&link=https%3A%2F%2Fgo.fzj.de%2FCodePromo)](https://rg-rse.pages.jsc.fz-juelich.de/hirse-code-promotion/public/HiRSE_Code_Promo_Slideshow.pdf)
46

57
- User Manual: https://bigraphs.org/products/bigraph-framework/docs/
68

@@ -65,10 +67,10 @@ To following usage assumes the import statement `import static org.bigraphs.fram
6567

6668
```java
6769
// Create the signature
68-
DefaultDynamicSignature signature = pureSignatureBuilder()
70+
DynamicSignature signature = pureSignatureBuilder()
6971
// Straightforward:
70-
.addControl("A", 0)
71-
.addControl("C", 1)
72+
.add("A", 0)
73+
.add("C", 1)
7274
// More verbose:
7375
.newControl()
7476
.identifier(StringTypedName.of("User"))
@@ -78,14 +80,14 @@ DefaultDynamicSignature signature = pureSignatureBuilder()
7880

7981
// Create two bigraphs
8082
PureBigraph bigraph1 = pureBuilder(signature)
81-
.createRoot()
82-
.addChild("A").addChild("C")
83-
.createBigraph();
83+
.root()
84+
.child("A").child("C")
85+
.create();
8486

8587
PureBigraph bigraph2 = pureBuilder(signature)
8688
// "User" is the control, "alice" is an outer name
87-
.createRoot().addChild("User", "alice").addSite()
88-
.createBigraph();
89+
.root().child("User", "alice").site()
90+
.create();
8991

9092
// compose two bigraphs
9193
BigraphComposite composite = ops(bigraph2).compose(bigraph1);
@@ -101,8 +103,8 @@ complex structures easily.
101103
The following one shows, how to create nodes, and at the same time connecting them all with an edge:
102104

103105
```java
104-
PureBigraphBuilder<DefaultDynamicSignature> builder = pureBuilder(signature);
105-
builder.createRoot().connectByEdge(
106+
PureBigraphBuilder<DynamicSignature> builder = pureBuilder(signature);
107+
builder.root().connectByEdge(
106108
"Job",
107109
"Job",
108110
signature.getControlByName("Job")
@@ -117,8 +119,8 @@ after, close the link to automatically transform it to an edge:
117119
BigraphEntity.InnerName tmp_link = builder.createInnerName("link");
118120

119121
// Create two nodes within different hierarchies
120-
builder.createRoot().addChild("Printer").linkToInner(tmp_link);
121-
builder.createRoot().addChild("Computer").linkToInner(tmp_link);
122+
builder.root().child("Printer").linkInner(tmp_link);
123+
builder.root().child("Computer").linkInner(tmp_link);
122124

123125
// Finally, close the inner name. This will leave the edge intact.
124126
builder.closeInnerName(tmp_link);
@@ -144,9 +146,9 @@ To get the composition and tensor product of two bigraphs:
144146
PureBigraph G = ...;
145147
PureBigraph F = ...;
146148
PureBigraph H = ...;
147-
BigraphComposite<DefaultDynamicSignature> composite = ops(G);
149+
BigraphComposite<DynamicSignature> composite = ops(G);
148150

149-
BigraphComposite<DefaultDynamicSignature> result = composite.compose(F);
151+
BigraphComposite<DynamicSignature> result = composite.compose(F);
150152
composite.juxtapose(F);
151153
composite.juxtapose(F).parallelProduct(H);
152154
```
@@ -163,36 +165,36 @@ composite.juxtapose(F).parallelProduct(H);
163165
<dependency>
164166
<groupId>org.bigraphs.framework</groupId>
165167
<artifactId>bigraph-core</artifactId>
166-
<version>2.1.2</version>
168+
<version>2.2.0</version>
167169
</dependency>
168170
<!-- the rewriting module -->
169171
<dependency>
170172
<groupId>org.bigraphs.framework</groupId>
171173
<artifactId>bigraph-simulation</artifactId>
172-
<version>2.1.2</version>
174+
<version>2.2.0</version>
173175
</dependency>
174176
<!-- the visualization module -->
175177
<dependency>
176178
<groupId>org.bigraphs.framework</groupId>
177179
<artifactId>bigraph-visualization</artifactId>
178-
<version>2.1.2</version>
180+
<version>2.2.0</version>
179181
</dependency>
180182
<!-- the converter module -->
181183
<dependency>
182184
<groupId>org.bigraphs.framework</groupId>
183185
<artifactId>bigraph-converter</artifactId>
184-
<version>2.1.2</version>
186+
<version>2.2.0</version>
185187
</dependency>
186188
</dependencies>
187189
```
188190

189191
### Gradle
190192

191193
```groovy
192-
compile "org.bigraphs.framework:bigraph-core:2.1.2"
193-
compile "org.bigraphs.framework:bigraph-simulation:2.1.2"
194-
compile "org.bigraphs.framework:bigraph-visualization:2.1.2"
195-
compile "org.bigraphs.framework:bigraph-converter:2.1.2"
194+
compile "org.bigraphs.framework:bigraph-core:2.2.0"
195+
compile "org.bigraphs.framework:bigraph-simulation:2.2.0"
196+
compile "org.bigraphs.framework:bigraph-visualization:2.2.0"
197+
compile "org.bigraphs.framework:bigraph-converter:2.2.0"
196198
```
197199

198200
### Logging

converter/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<parent>
66
<groupId>org.bigraphs.framework</groupId>
77
<artifactId>framework-parent</artifactId>
8-
<version>3.0.0-SNAPSHOT</version>
8+
<version>2.2.0</version>
99
<relativePath>../pom.xml</relativePath>
1010
</parent>
1111
<modelVersion>4.0.0</modelVersion>

converter/src/main/java/org/bigraph/model/SignatureAdapter.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
import org.bigraphs.framework.core.Signature;
77
import org.bigraphs.framework.core.datatypes.FiniteOrdinal;
88
import org.bigraphs.framework.core.datatypes.StringTypedName;
9-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature;
9+
import org.bigraphs.framework.core.impl.signature.DynamicSignature;
1010
import org.bigraph.model.assistants.IObjectIdentifier;
1111
import org.bigraph.model.interfaces.ISignature;
1212

@@ -17,7 +17,7 @@
1717
/**
1818
* Adapter for our {@link Signature} class to be used with {@link org.bigraph.model.savers.SignatureXMLSaver}.
1919
* <p>
20-
* This is an adapter for the signature of type {@link DefaultDynamicSignature}.
20+
* This is an adapter for the signature of type {@link DynamicSignature}.
2121
*
2222
* @author Dominik Grzelak
2323
*/

converter/src/main/java/org/bigraphs/framework/converter/bigred/DefaultBigraphXMLLoader.java

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
import org.bigraphs.framework.core.BigraphEntityType;
44
import org.bigraphs.framework.core.Control;
55
import org.bigraphs.framework.core.impl.BigraphEntity;
6-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicControl;
7-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature;
6+
import org.bigraphs.framework.core.impl.signature.DynamicControl;
7+
import org.bigraphs.framework.core.impl.signature.DynamicSignature;
88
import org.bigraphs.framework.core.impl.pure.MutableBuilder;
99
import org.bigraphs.framework.core.impl.pure.PureBigraph;
1010
import org.apache.commons.lang3.tuple.Pair;
@@ -26,8 +26,8 @@ public class DefaultBigraphXMLLoader extends BigraphXmlLoaderSupport implements
2626
private DefaultSignatureXMLLoader sxl = new DefaultSignatureXMLLoader();
2727
private Path pathToSignature;
2828
protected int portIndexCounter = 0;
29-
protected DefaultDynamicSignature signature = null;
30-
protected MutableBuilder<DefaultDynamicSignature> builder;
29+
protected DynamicSignature signature = null;
30+
protected MutableBuilder<DynamicSignature> builder;
3131

3232
public DefaultBigraphXMLLoader() {
3333
super();
@@ -38,7 +38,7 @@ public DefaultBigraphXMLLoader() {
3838
*
3939
* @param signature the signature
4040
*/
41-
public DefaultBigraphXMLLoader(DefaultDynamicSignature signature) {
41+
public DefaultBigraphXMLLoader(DynamicSignature signature) {
4242
super();
4343
this.signature = signature;
4444
}
@@ -77,7 +77,7 @@ private void reset() {
7777
parentStack.clear();
7878
}
7979

80-
public DefaultDynamicSignature getSignature() {
80+
public DynamicSignature getSignature() {
8181
return signature;
8282
}
8383

@@ -190,7 +190,7 @@ protected void processEndRoot(EndElement endElement) {
190190
protected void processStartNode(StartElement startElement) {
191191
portIndexCounter = 0;
192192
Iterator<Attribute> attributes = startElement.getAttributes();
193-
DefaultDynamicControl controlByName = null;
193+
DynamicControl controlByName = null;
194194
String label = "";
195195
while (attributes.hasNext()) {
196196
Attribute attribute = attributes.next();

converter/src/main/java/org/bigraphs/framework/converter/bigred/DefaultReactionRuleXMLLoader.java

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22

33
import org.bigraphs.framework.core.exceptions.InvalidReactionRuleException;
44
import org.bigraphs.framework.core.impl.BigraphEntity;
5-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicControl;
6-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature;
5+
import org.bigraphs.framework.core.impl.signature.DynamicControl;
6+
import org.bigraphs.framework.core.impl.signature.DynamicSignature;
77
import org.bigraphs.framework.core.EcoreBigraph;
88
import org.bigraphs.framework.core.impl.pure.MutableBuilder;
99
import org.bigraphs.framework.core.impl.pure.PureBigraph;
@@ -22,12 +22,12 @@
2222
*/
2323
public class DefaultReactionRuleXMLLoader implements BigraphXmlLoaderSupport.XmlProcessorCallback, BigRedXmlLoader {
2424
protected Queue<ChangeAction> actionStack = new ArrayDeque<>();
25-
protected MutableBuilder<DefaultDynamicSignature> builder;
25+
protected MutableBuilder<DynamicSignature> builder;
2626
protected final DefaultBigraphXMLLoader bxl;
2727
protected boolean bigraphParsed = false;
2828
protected PureBigraph redex;
2929
protected PureBigraph reactum;
30-
protected DefaultDynamicSignature signature = null;
30+
protected DynamicSignature signature = null;
3131

3232
private enum ChangeEvent {
3333
DISCONNECT("disconnect"), CONNECT("connect"),
@@ -80,7 +80,7 @@ public DefaultReactionRuleXMLLoader() {
8080
*
8181
* @param signature the signature
8282
*/
83-
public DefaultReactionRuleXMLLoader(DefaultDynamicSignature signature) {
83+
public DefaultReactionRuleXMLLoader(DynamicSignature signature) {
8484
// this();
8585
this.signature = signature;
8686
this.bxl = new DefaultBigraphXMLLoader(this.signature);
@@ -198,7 +198,7 @@ private void executeAddEvent(ChangeAction changeAction) {
198198
parent = builder.availableNodes().get(parentName);
199199
}
200200
if (type.equalsIgnoreCase("node")) {
201-
DefaultDynamicControl control = redex.getSignature().getControlByName(changeAction.params.get("control"));
201+
DynamicControl control = redex.getSignature().getControlByName(changeAction.params.get("control"));
202202
BigraphEntity newNode = builder.createNewNode(control, elementName);
203203
builder.availableNodes().put(elementName, (BigraphEntity.NodeEntity) newNode);
204204
if (Objects.nonNull(parent)) {
@@ -336,7 +336,7 @@ private boolean canParseInteger(String value) {
336336
}
337337
}
338338

339-
public DefaultDynamicSignature getSignature() {
339+
public DynamicSignature getSignature() {
340340
return signature;
341341
}
342342
}

converter/src/main/java/org/bigraphs/framework/converter/bigred/DefaultSignatureXMLLoader.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
import org.bigraphs.framework.core.ControlStatus;
44
import org.bigraphs.framework.core.datatypes.StringTypedName;
5-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature;
5+
import org.bigraphs.framework.core.impl.signature.DynamicSignature;
66
import org.bigraphs.framework.core.impl.signature.DynamicSignatureBuilder;
77
import org.apache.commons.lang3.tuple.MutablePair;
88
import org.apache.commons.lang3.tuple.Pair;
@@ -39,7 +39,7 @@ public DefaultSignatureXMLLoader() {
3939
super();
4040
}
4141

42-
public DefaultDynamicSignature importObject() {
42+
public DynamicSignature importObject() {
4343
return b.create();
4444
}
4545

converter/src/main/java/org/bigraphs/framework/converter/bigred/DefaultSimulationSpecXMLLoader.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
package org.bigraphs.framework.converter.bigred;
22

33
import org.bigraphs.framework.core.exceptions.InvalidReactionRuleException;
4-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature;
4+
import org.bigraphs.framework.core.impl.signature.DynamicSignature;
55
import org.bigraphs.framework.core.impl.pure.PureBigraph;
66
import org.bigraphs.framework.core.reactivesystem.AbstractSimpleReactiveSystem;
77
import org.bigraphs.framework.core.reactivesystem.ReactiveSystem;
@@ -31,7 +31,7 @@ public class DefaultSimulationSpecXMLLoader implements BigRedXmlLoader {
3131
private DefaultReactionRuleXMLLoader rxl;
3232
private DefaultBigraphXMLLoader bxl;
3333
protected String xmlFile;
34-
protected DefaultDynamicSignature signature = null;
34+
protected DynamicSignature signature = null;
3535
private AbstractSimpleReactiveSystem<PureBigraph> reactiveSystem;
3636

3737
public DefaultSimulationSpecXMLLoader(AbstractSimpleReactiveSystem<PureBigraph> reactiveSystem) {

converter/src/main/java/org/bigraphs/framework/converter/jlibbig/JLibBigBigraphDecoder.java

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@
66
import org.bigraphs.framework.core.impl.pure.MutableBuilder;
77
import org.bigraphs.framework.core.impl.pure.PureBigraph;
88
import org.bigraphs.framework.core.impl.pure.PureBigraphBuilder;
9-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicControl;
10-
import org.bigraphs.framework.core.impl.signature.DefaultDynamicSignature;
9+
import org.bigraphs.framework.core.impl.signature.DynamicControl;
10+
import org.bigraphs.framework.core.impl.signature.DynamicSignature;
1111
import org.bigraphs.framework.core.impl.signature.DynamicSignatureBuilder;
1212
import it.uniud.mads.jlibbig.core.attachedProperties.Property;
1313
import it.uniud.mads.jlibbig.core.attachedProperties.PropertyTarget;
@@ -26,8 +26,8 @@ public class JLibBigBigraphDecoder implements BigraphObjectDecoder<PureBigraph,
2626
private HashMap<String, BigraphEntity.Edge> newEdges = new LinkedHashMap<>();
2727
private HashMap<String, BigraphEntity.OuterName> newOuterNames = new LinkedHashMap<>();
2828
private HashMap<String, BigraphEntity.InnerName> newInnerNames = new LinkedHashMap<>();
29-
private MutableBuilder<DefaultDynamicSignature> builder;
30-
private DefaultDynamicSignature signature;
29+
private MutableBuilder<DynamicSignature> builder;
30+
private DynamicSignature signature;
3131
private it.uniud.mads.jlibbig.core.std.Bigraph jBigraph;
3232

3333
private Map<String, it.uniud.mads.jlibbig.core.std.OuterName> jLibBigOuterNames = new LinkedHashMap<>();
@@ -37,7 +37,7 @@ public class JLibBigBigraphDecoder implements BigraphObjectDecoder<PureBigraph,
3737
private Map<String, it.uniud.mads.jlibbig.core.std.Node> jLibBigNodes = new LinkedHashMap<>(); // PlaceEntity
3838
private Map<Integer, it.uniud.mads.jlibbig.core.std.Site> jLibBigSites = new LinkedHashMap<>(); // PlaceEntity
3939

40-
public synchronized PureBigraph decode(it.uniud.mads.jlibbig.core.std.Bigraph bigraph, DefaultDynamicSignature signature) {
40+
public synchronized PureBigraph decode(it.uniud.mads.jlibbig.core.std.Bigraph bigraph, DynamicSignature signature) {
4141
this.jBigraph = bigraph;
4242
this.signature = signature;
4343
EPackage ePackage = createOrGetBigraphMetaModel(this.signature);
@@ -59,7 +59,7 @@ public synchronized PureBigraph decode(it.uniud.mads.jlibbig.core.std.Bigraph bi
5959
performLinkage(bigraph);
6060

6161
// Create bigraph
62-
PureBigraphBuilder<DefaultDynamicSignature>.InstanceParameter meta = this.builder.new InstanceParameter(
62+
PureBigraphBuilder<DynamicSignature>.InstanceParameter meta = this.builder.new InstanceParameter(
6363
this.builder.getMetaModel(),
6464
this.signature,
6565
this.newRoots,
@@ -199,7 +199,7 @@ private BigraphEntity getParentOfNode(PlaceEntity node, Bigraph jBigraph) {
199199
private BigraphEntity.NodeEntity createNode(Node n, BigraphEntity parent) {
200200
String control = n.getControl().getName();
201201
String nodeId = n.getEditable().getName();
202-
DefaultDynamicControl controlByName = signature.getControlByName(control);
202+
DynamicControl controlByName = signature.getControlByName(control);
203203
// Check if node has an ID property - use that instead
204204
if(n.getProperty("_id") != null) {
205205
nodeId = String.valueOf(n.getProperty("_id").get());
@@ -228,11 +228,11 @@ private BigraphEntity.SiteEntity createSite(Site n, BigraphEntity currentParent)
228228
return newSite;
229229
}
230230

231-
private DefaultDynamicSignature parseSignature(it.uniud.mads.jlibbig.core.std.Signature sig) {
231+
private DynamicSignature parseSignature(it.uniud.mads.jlibbig.core.std.Signature sig) {
232232
DynamicSignatureBuilder signatureBuilder = pureSignatureBuilder();
233233
for (Iterator<Control> it = sig.iterator(); it.hasNext(); ) {
234234
Control control = it.next();
235-
signatureBuilder.addControl(control.getName(), control.getArity(), control.isActive() ? ControlStatus.ACTIVE : ControlStatus.PASSIVE);
235+
signatureBuilder.add(control.getName(), control.getArity(), control.isActive() ? ControlStatus.ACTIVE : ControlStatus.PASSIVE);
236236
}
237237
return signatureBuilder.create();
238238
}

0 commit comments

Comments
 (0)