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
Output data types, but there is a bug
  • Loading branch information
@jonathanlking
jonathanlking committed May 2, 2018
commit 52ed96a4422fde9df26e7619e4b6c5c67e4e5a2d
43 changes: 37 additions & 6 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 @@ -31,8 +31,11 @@
import org.scribble.model.endpoint.EGraph;
import org.scribble.model.endpoint.EState;
import org.scribble.model.endpoint.actions.EAction;
import org.scribble.type.Payload;
import org.scribble.type.kind.PayloadTypeKind;
import org.scribble.type.name.GProtocolName;
import org.scribble.type.name.MessageId;
import org.scribble.type.name.PayloadElemType;
import org.scribble.type.name.Role;
import org.scribble.util.Pair;
import org.scribble.visit.util.MessageIdCollector;
Expand Down Expand Up @@ -84,6 +87,7 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
// TODO: Annotate MessageId with its arguments
// TODO: Handle polymorphic messages (probably just throw an error)
Set<MessageId<?>> mids = new HashSet<>();
Map<MessageId<?>, Payload> datatypes = new HashMap<>();

MessageIdCollector coll = new MessageIdCollector(this.job, ((ModuleDel) mod.del()).getModuleContext());
gpd.accept(coll);
Expand All @@ -93,12 +97,6 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
mids.add(mid);
}

System.out.println(mids);
for (MessageId<?> mid : mids) {
String name = getMessageDataTypeName(mid);
sb.append("data " + name + " = " + name + " -- TODO: Add arguments + derive JSON enc/dec\n");
}

// TODO: For each role make a projection, then traverse the graph getting the states + transitions
for (Role role : roles) {
String name = getRoleDataTypeName(role);
Expand Down Expand Up @@ -143,12 +141,14 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
String type = getMessageDataTypeName(action.mid);
String toR = getRoleDataTypeName(action.obj);
sb.append("instance send" + getStateTypeName(s) + " :: Send " + toR + " " + getStateTypeName(s) + " " + getStateTypeName(to) + " " + type + "\n");
addDatatype(datatypes, action);
} 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);
addDatatype(datatypes, action);
EState to = s.getAllSuccessors().get(i);
String labelState = getStateTypeName(s) + action.mid;
String label = getLabelFromMessage(action.mid);
Expand Down Expand Up @@ -176,6 +176,7 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
case UNARY_INPUT: {
EState from = s.getAllSuccessors().get(0);
EAction action = s.getAllActions().get(0);
addDatatype(datatypes, action);
String type = getMessageDataTypeName(action.mid);
String fromR = getRoleDataTypeName(action.obj);
sb.append("instance receive" + getStateTypeName(s) + " :: Receive " + fromR + " " + getStateTypeName(s) + " " + getStateTypeName(from) + " " + type + "\n");
Expand All @@ -187,6 +188,7 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
// 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);
addDatatype(datatypes, action);
EState to = s.getAllSuccessors().get(i);
String labelState = getStateTypeName(s) + action.mid;
String label = getLabelFromMessage(action.mid);
Expand Down Expand Up @@ -226,12 +228,41 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx

}

for (MessageId<?> mid : datatypes.keySet()) {
String name = getMessageDataTypeName(mid);
sb.append("data " + name + " = " + name);
for (PayloadElemType<? extends PayloadTypeKind> type : datatypes.get(mid).elems) {
sb.append(" " + type);
}
sb.append("-- TODO: Derive JSON enc/dec\n");
}

System.out.println(mids);
for (MessageId<?> mid : mids) {
String name = getMessageDataTypeName(mid);
sb.append("data " + name + " = " + name + " -- TODO: Add arguments + derive JSON enc/dec\n");
}

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

return map;
}

private void addDatatype(Map<MessageId<?>, Payload> datatypes, EAction action) throws ScribbleException {
if (datatypes.containsKey(action.mid)) {
System.out.println(action.mid + " already there");
System.out.println(datatypes.keySet().toString());
System.out.println(datatypes.get(action.mid) + " - " + action.payload);
if (!datatypes.get(action.mid).equals(action.payload)) {
System.out.println("and different!");
throw new ScribbleException(null, "Messages with the same name `" + action.mid + "` must have the same payload");
}
} else {
datatypes.put(action.mid, action.payload);
}
}

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)
Expand Down