program.pl - Issue 1259553002: Emit program and dependency information as relations in a Prolog database.

Side by Side Diff

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

Side by Side Diff: program.pl

Issue 1259553002: Emit program and dependency information as relations in a Prolog database. Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Created 5 years, 5 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View unified diff | Download patch | Annotate | Revision Log

OLD	NEW
(Empty)
	1 :- [dart].

	2

	3 contains_trans(X, Y) :- contains(X, Y).

	4 contains_trans(X, Y) :- contains(X, U), contains_trans(U, Y).

	5

	6 callchain(X, Y, [X, Y]) :- calls(X, Y).

	7 callchain(X, Z, [X \| L1]) :- calls(X, Y), callchain(Y, Z, L1).

	8

	9 name(Id, (Class, Function)) :- function(Id, Function), contains(C, Id), class(C, Class).

	10

	11 can_be_called_from_main(X) :- callchain(main, X, _).

	12

	13 enqueued(Source, Target, [Source, Target]) :- enqueues(Source, Target).

	14 enqueued(Source, Target, [Source \| Rest]) :-

	15 enqueues(Source, Intermediate),

	16 enqueued(Intermediate, Target, Rest).

	17

	18 why_enqueued(ClassName, FunctionName, Reason) :-

	19 class(C, ClassName),

	20 function(F, FunctionName),

	21 contains(C, F),

	22 enqueued(main, F, Reason).

OLD	NEW

« no previous file with comments | « no previous file | sdk/lib/_internal/compiler/implementation/common.dart » ('j') | no next file with comments »