Skip to content

PureScript API code generation #146

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
jonathanlking wants to merge 20 commits into
base: master
Choose a base branch
from
Draft

PureScript API code generation #146

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
cdc4a04
Inital seam
jonathanlking Apr 29, 2018
afa858f
Add demo files
jonathanlking Apr 29, 2018
f565d48
Create code file
jonathanlking Apr 29, 2018
4ccf2b3
Start work on efsms
jonathanlking Apr 30, 2018
9a0db4d
Naive code gen without support for data types
jonathanlking May 1, 2018
52ed96a
Output data types, but there is a bug
jonathanlking May 1, 2018
6224733
Before major refactor
jonathanlking May 2, 2018
a66ee58
Mid refactor
jonathanlking May 2, 2018
5f1b93c
Fix some bugs + tidy code
jonathanlking May 2, 2018
14784e8
Derive JSON encoding/decoding
jonathanlking May 2, 2018
a2f9715
Generate ProtocolName, ProtocolRoleNames and RoleName instances
jonathanlking May 8, 2018
60bfcdf
Fix bugs in codegen
jonathanlking May 10, 2018
2c9f8b9
Import tuple
jonathanlking Jun 1, 2018
bb3097a
Generate code for explicit connections
jonathanlking Nov 5, 2018
fa5305d
Fix codegen + improve command line usage
jonathanlking Jan 12, 2019
d9a713b
Include both roles in Branch
jonathanlking Jan 13, 2019
d95014c
Update PSEndpointApiGenerator.java
jonathanlking Dec 15, 2019
8e72bfd
Use new json encoding
jonathanlking Dec 30, 2019
d08cca6
Generate row instead of rowlist
jonathanlking Dec 30, 2019
0fafea1
Fix Dockerfile
jonathanlking Apr 12, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Naive code gen without support for data types
  • Loading branch information
@jonathanlking
jonathanlking committed May 2, 2018
commit 9a0db4d3c87ec596e5b6bc30bb4f96314423d5da
133 changes: 129 additions & 4 deletions scribble-codegen/src/main/java/org/scribble/codegen/purescript/PSEndpointApiGenerator.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,9 +30,11 @@
import org.scribble.main.ScribbleException;
import org.scribble.model.endpoint.EGraph;
import org.scribble.model.endpoint.EState;
import org.scribble.model.endpoint.actions.EAction;
import org.scribble.type.name.GProtocolName;
import org.scribble.type.name.MessageId;
import org.scribble.type.name.Role;
import org.scribble.util.Pair;
import org.scribble.visit.util.MessageIdCollector;

public class PSEndpointApiGenerator
Expand Down Expand Up @@ -106,18 +108,136 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
EGraph efsm = job.minEfsm ? jc.getMinimisedEGraph(fullname, role) : jc.getEGraph(fullname, role);
EState init = efsm.init;
EState term = EState.getTerminal(init);
System.out.println("Init: " + init);
System.out.println("Term: " + term);
}

sb.append("instance initial" + role + " " + getRoleDataTypeName(role) + " :: Initial " + getRoleDataTypeName(role) + " " + getStateTypeName(init) + "\n");
if (term != null) {
sb.append("instance terminal" + role + " " + getRoleDataTypeName(role) + " :: Terminal " + getRoleDataTypeName(role) + " " + getStateTypeName(term) + "\n");
} else {
sb.append("instance terminal" + role + " " + getRoleDataTypeName(role) + " :: Terminal " + getRoleDataTypeName(role) + "Void \n");
}

Set<EState> seen = new HashSet<>();
Set<EState> level = new HashSet<>();

// Perform a breadth first traversal over the graph
level.add(init);

while (!level.isEmpty()) {
Set<EState> nextlevel = new HashSet<>();
for (EState s : level) {
// Don't generate more than once
if (seen.contains(s)) break;
seen.add(s);

sb.append("foreign import data " + getStateTypeName(s) + " :: Type\n");

// View the successors during the next level
nextlevel.addAll(s.getAllSuccessors());

switch (s.getStateKind()) {
case OUTPUT: {
assert (s.getAllActions().size() > 0);
if (s.getAllActions().size() == 1) {
EState to = s.getAllSuccessors().get(0);
EAction action = s.getAllActions().get(0);
String type = getMessageDataTypeName(action.mid);
String toR = getRoleDataTypeName(action.obj);
sb.append("instance send" + getStateTypeName(s) + " :: Send " + toR + " " + getStateTypeName(s) + " " + getStateTypeName(to) + " " + type + "\n");
} else {
Set<Pair<String, String>> options = new HashSet<>();
for (int i = 0; i < s.getAllActions().size(); i++) {
// If there are multiple output actions, we should treat it as a branch and create some dummy states
// where we send the label
EAction action = s.getAllActions().get(i);
EState to = s.getAllSuccessors().get(i);
String labelState = getStateTypeName(s) + action.mid;
String label = getLabelFromMessage(action.mid);
String type = getMessageDataTypeName(action.mid);
String toR = getRoleDataTypeName(action.obj);
sb.append("foreign import data " + labelState + " :: Type\n");
sb.append("instance send" + labelState + " :: Send " + toR + " " + labelState + " " + getStateTypeName(to) + " " + type + "\n");

options.add(new Pair(label,labelState));
}

// All messages must be to the same role
EAction action = s.getAllActions().get(0);
String toR = getRoleDataTypeName(action.obj);
sb.append("instance select" + getStateTypeName(s) + " :: Select " + toR + " " + getStateTypeName(s) + " ");
String end = "Nil";
for (Pair<String, String> option : options) {
sb.append("(Cons \"" + option.left + "\" " + option.right + " ");
end += ")";
}
sb.append(end + "\n");
}
}
break;
case UNARY_INPUT: {
EState from = s.getAllSuccessors().get(0);
EAction action = s.getAllActions().get(0);
String type = getMessageDataTypeName(action.mid);
String fromR = getRoleDataTypeName(action.obj);
sb.append("instance receive" + getStateTypeName(s) + " :: Receive " + fromR + " " + getStateTypeName(s) + " " + getStateTypeName(from) + " " + type + "\n");
}
break;
case POLY_INPUT: {
Set<Pair<String, String>> options = new HashSet<>();
for (int i = 0; i < s.getAllActions().size(); i++) {
// If there are multiple output actions, we should treat it as a branch and create some dummy states
// where we send the label
EAction action = s.getAllActions().get(i);
EState to = s.getAllSuccessors().get(i);
String labelState = getStateTypeName(s) + action.mid;
String label = getLabelFromMessage(action.mid);
String type = getMessageDataTypeName(action.mid);
String fromR = getRoleDataTypeName(action.obj);
sb.append("foreign import data " + labelState + " :: Type\n");
sb.append("instance receive" + labelState + " :: Receive " + fromR + " " + labelState + " " + getStateTypeName(to) + " " + type + "\n");

options.add(new Pair(label,labelState));
}

// All messages must be to the same role
EAction action = s.getAllActions().get(0);
String atR = getRoleDataTypeName(role);
sb.append("instance branch" + getStateTypeName(s) + " :: Branch " + atR + " " + getStateTypeName(s) + " ");
String end = "Nil";
for (Pair<String, String> option : options) {
sb.append("(Cons \"" + option.left + "\" " + option.right + " ");
end += ")";
}
sb.append(end + "\n");
}
break;
case TERMINAL:
break;
case ACCEPT:
throw new ScribbleException(null, "Unsupported action " + s.getStateKind());
case WRAP_SERVER:
throw new ScribbleException(null, "Unsupported action " + s.getStateKind());
}

}


level = nextlevel;
}

}

Map<String, String> map = new HashMap<String, String>();
map.put(makePath(moduleName, protocolName), sb.toString());

return map;
}

private static String makePath(String module, String protocol)
private String getLabelFromMessage(MessageId<?> mid) {
String s = mid.toString().toLowerCase();
return (s.isEmpty() || s.charAt(0) < 97 || s.charAt(0) > 122) ? "l" + s : s; // Hacky? (Yes)
}

private static String makePath(String module, String protocol)
{
return "Scribble/Protocol/" + module.replace('.', '/') + "/" + protocol + ".purs";
}
Expand All @@ -135,6 +255,11 @@ public static String getRoleDataTypeName(Role r)
String s = r.toString();
return (s.isEmpty() || s.charAt(0) < 65 || s.charAt(0) > 90) ? "R" + s : s; // Hacky? (Yes)
}

public static String getStateTypeName(EState s)
{
return "S" + s;
}

// // FIXME: refactor an EndpointApiGenerator -- ?
// public Map<String, String> generateStateChannelApi(GProtocolName fullname, Role self, boolean subtypes) throws ScribbleException
Expand Down