Skip to content
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.

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

Add class to render to graphviz #8

Merged
merged 1 commit into from Jan 6, 2017
Merged

Add class to render to graphviz #8

merged 1 commit into from Jan 6, 2017

Conversation

@bakkot
Copy link
Contributor

bakkot commented Jan 6, 2017

This also involves making some previously private fields public.

For example, the program

a = b++;

renders as

1

and

"use strict";
function f(k) {
  for (var i = 0; i < k; ++i) {
    console.log(i);
  }
}

renders as:

2

@bakkot bakkot force-pushed the dottifier branch from 8bdfe6b to 7fd55ab Jan 6, 2017
@bakkot
Copy link
Contributor Author

bakkot commented Jan 6, 2017

NB: This is the raw output of the explicator; it can be simplified substantially before rendering, if necessary.

@bakkot bakkot merged commit c9cdc7c into master Jan 6, 2017
@bakkot bakkot deleted the dottifier branch Jan 6, 2017
@michaelficarra
Copy link
Member

michaelficarra commented Jan 9, 2017

The visualiser can be run using

String dot = Dottifier.render(asg);

Then pass that string to GraphViz.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.