Fork: 1
nitta-lab / AlgebraicDataflowArchitectureModel

MethodBodyGen #8

Merged y-ota merged 2 commits into nitta-lab:master from nitta-lab:methodBodyGen on 29 Apr 2020
Patch
Unified Split
Showing 5 changed files
View
89
■■■■■
 AlgebraicDataflowArchitectureModel/src/algorithms/MethodBodyGenerator.java 0 → 100644
package algorithms;
 
import java.util.ArrayList;
import java.util.HashMap;
import java.util.Map;
 
import code.ast.MethodDeclaration;
import code.ast.TypeDeclaration;
import models.Edge;
import models.Node;
import models.algebra.InvalidMessage;
import models.algebra.ParameterizedIdentifierIsFutureWork;
import models.algebra.UnificationFailed;
import models.algebra.ValueUndefined;
import models.dataConstraintModel.ChannelMember;
import models.dataFlowModel.DataFlowModel;
import models.dataFlowModel.PushPullAttribute;
import models.dataFlowModel.PushPullValue;
import models.dataFlowModel.ResolvingMultipleDefinitionIsFutureWork;
import models.dataFlowModel.ResourceDependency;
import models.dataFlowModel.ResourceDependencyGraph;
import models.dataFlowModel.ResourceNode;
 
public class MethodBodyGenerator {
public static ArrayList<TypeDeclaration> doGenerate(ResourceDependencyGraph graph, DataFlowModel model, ArrayList<TypeDeclaration> types) {
// Create a map from type names (lower case) to their types.
Map<String, TypeDeclaration> typeMap = new HashMap<>();
for (TypeDeclaration type: types) {
typeMap.put(type.getTypeName().toLowerCase(), type);
}
// Generate the body of each update or getter method.
try {
for (Edge e: graph.getEdges()) {
ResourceDependency d = (ResourceDependency) e;
PushPullAttribute pushPull = (PushPullAttribute) d.getAttribute();
ResourceNode src = (ResourceNode) d.getSource();
ResourceNode dst = (ResourceNode) d.getDestination();
TypeDeclaration dstType = typeMap.get(dst.getIdentifierTemplate().getResourceName());
for (ChannelMember out: d.getChannelGenerator().getOutputChannelMembers()) {
if (out.getIdentifierTemplate() == dst.getIdentifierTemplate()) {
if (pushPull.getOptions().get(0) == PushPullValue.PUSH) {
// push
MethodDeclaration update = getUpdateMethod(dstType);
String curState = d.getChannelGenerator().deriveUpdateExpressionOf(out, CodeGenerator.pushAccessor).toImplementation();
update.addStatement(dst.getIdentifierTemplate().getResourceName() + " = " + curState + ";");
MethodDeclaration getter = getGetterMethod(dstType);
getter.addStatement("return " + dst.getIdentifierTemplate().getResourceName() + ";");
} else {
// pull or push/pull
MethodDeclaration getter = getGetterMethod(dstType);
String curState = d.getChannelGenerator().deriveUpdateExpressionOf(out, CodeGenerator.pullAccessor).toImplementation();
getter.addStatement("return " + curState + ";");
}
}
}
}
for (Node n: graph.getNodes()) {
ResourceNode resource = (ResourceNode) n;
TypeDeclaration type = typeMap.get(resource.getIdentifierTemplate().getResourceName());
MethodDeclaration getter = getGetterMethod(type);
if (getter.getBody() == null || getter.getBody().getStatements().size() == 0) {
getter.addStatement("return " + resource.getIdentifierTemplate().getResourceName() + ";");
}
}
} catch (ParameterizedIdentifierIsFutureWork | ResolvingMultipleDefinitionIsFutureWork
| InvalidMessage | UnificationFailed | ValueUndefined e1) {
e1.printStackTrace();
}
return types;
}
 
private static MethodDeclaration getUpdateMethod(TypeDeclaration dstType) {
for (MethodDeclaration m: dstType.getMethods()) {
if (m.getName().startsWith("update")) return m;
if (m.getName().startsWith("set")) return m;
}
return null;
}
 
private static MethodDeclaration getGetterMethod(TypeDeclaration dstType) {
for (MethodDeclaration m: dstType.getMethods()) {
if (m.getName().startsWith("get")) return m;
}
return null;
}
 
}
View
8
■■■■■
 AlgebraicDataflowArchitectureModel/src/code/ast/Block.java
public void addStatement(String statement) {
statements.add(statement);
}
public String toString() {
String code = "";
for (String statement: statements) {
code += (statement + "\n");
}
return code;
}
}
View
17
■■■■■
 AlgebraicDataflowArchitectureModel/src/code/ast/FieldDeclaration.java
 
public class FieldDeclaration extends BodyDeclaration {
private Type type;
private String fieldName;
private String initializer;
public FieldDeclaration(Type type, String fieldName) {
this.type = type;
this.fieldName = fieldName;
 
public void setName(String fieldName) {
this.fieldName = fieldName;
}
 
public String getInitializer() {
return initializer;
}
 
public void setInitializer(String initializer) {
this.initializer = initializer;
}
public String toString() {
return type.getImplementationTypeName() + " " + fieldName + ";\n";
if (initializer == null) {
return type.getImplementationTypeName() + " " + fieldName + ";\n";
}
return type.getImplementationTypeName() + " " + fieldName + " = " + initializer + ";\n";
}
}
View
AlgebraicDataflowArchitectureModel/src/code/ast/MethodDeclaration.java
View
AlgebraicDataflowArchitectureModel/src/graphicalrefactor/actions/PrototypeGenerateAction.java