Methodnet demo instance

Click here to launch the interactive Methodnet viewer.

The graph viewer UI mainly consists of three panels:

1. Left: An upper and lower text editor, for entering the solution procedures start and target spec respectively.
2. Center: The Methodnet graph, an overview of all existing types and methods.
3. Right: The solution procedure graph, a sequence of method calls linking the entered start specification to the desired target specification.

If you want to try out generating your own solution procedure, start by looking up the types and methods you’re interested in in this file. Then enter start and target specification similar to the provided example. Multiple start specs are also possible. Once you’re done, click “Update” and inspect the result in the right panel.

All source code is available on GitHub.