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
Generate code for explicit connections
  • Loading branch information
@jonathanlking
jonathanlking committed Nov 5, 2018
commit bb3097afd99004d90a3c710047f342826b4c427f
27 changes: 20 additions & 7 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 @@ -116,20 +116,29 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
// Generate the state type
String curr = getStateTypeName(s);
states.add(new DataType(curr, null, DataType.KIND_TYPE, true));

switch (s.getStateKind()) {
case OUTPUT: {
if (s.getAllActions().size() == 1) {
String next = getStateTypeName(s.getAllSuccessors().get(0));
EAction action = s.getAllActions().get(0);
String type = action.mid.toString();
String to = action.obj.toString();

// Add the instance and message data type
instances.add(new TypeClassInstance(("send" + curr), "Send", new String[] {to, curr, next, type}));
addDatatype(datatypes, action, foreignImports);
if (action.isSend()) {
String type = action.mid.toString();
// Add the instance and message data type
instances.add(new TypeClassInstance(("send" + curr), "Send", new String[]{to, curr, next, type}));
addDatatype(datatypes, action, foreignImports);
} else if (action.isDisconnect()) {
instances.add(new TypeClassInstance(("disconnect" + curr), "Disconnect", new String[]{r.toString(), to, curr, next}));

} else if (action.isRequest()) {
instances.add(new TypeClassInstance(("request" + curr), "Request", new String[]{r.toString(), to, curr, next}));
} else {
// TODO: What is wrap-client + do we need to handle it?
throw new ScribbleException(null, "Unsupported action " + s.getStateKind());
}
} else {
// If there are multiple output actions, we should treat it as a branch and create some dummy states where we send the label
// TODO: I'm making the assumption that if there are multiple outputs, they are all send -- probably should test this
Set<Pair<String, String>> choices = new HashSet<>();
for (int i = 0; i < s.getAllActions().size(); i++) {
EAction action = s.getAllActions().get(i);
Expand Down Expand Up @@ -207,7 +216,11 @@ public Map<String, String> generateApi(GProtocolName fullname) throws ScribbleEx
case TERMINAL:
break;
case ACCEPT:
throw new ScribbleException(null, "Unsupported action " + s.getStateKind());
EAction action = s.getAllActions().get(0);
String next = getStateTypeName(s.getAllSuccessors().get(0));
String to = action.obj.toString();
instances.add(new TypeClassInstance(("connect" + curr), "Connect", new String[]{r.toString(), to, curr, next}));
break;
case WRAP_SERVER:
throw new ScribbleException(null, "Unsupported action " + s.getStateKind());
}
Expand Down