Kernel/lib/tracer_tcl.pl

473 process_inspect_command(childnodes(Type,Arity,LSize,["1"|Path]), Term, Reply, Module) ?- !,
479   Type + Arity are the type and arity of the node; LSize is the current
482 	provide_childnodes(Type, Path, Term, Arity, LSize, Reply, Module).
641 	get_type(Sub, Type, M),
642 	get_summary_info(Type, Sub, Arity, Summary),
643 	Reply = [Out, Summary, Type, Arity].
646 get_type(Sub, Type, M) :-
648 	refine_type(Type1, Sub, M, Type).
650 refine_type(var, Var, _, Type) :- !,
651 	(meta(Var) -> Type = attributed ; Type = var).
652 refine_type(compound, C, M, Type) :- !,
655 	    Type = ncompound
657 	    Type = list
659             Type = compound
661 refine_type(goal, S, _, Type) :- !,
664 	    Type = suspended
666 	    Type = scheduled
667 	; Type = dead
669 refine_type(handle, H, _, Type) :-
671         Type = exphandle.
672 refine_type(Type, _Var, _, Type).
682 get_summary_info(Type, Term, A, Out) ?-
683 	get_functorarity(Type, Term, F, A),
686 	print_subterm(Type, S, F, A),
830 		UnmodifiedChild = [PrintTerm, Summary, Type, Arity],
833 		Child = [ModifiedPrintTerm, ModifiedSummary, Type, Arity]
945 /* make_display_matrix_body(+Matrix, +Prio, +Type, +SList, +Name)
947      terms. Prio is the priority the demon would be suspended at, Type is
952 make_display_matrix_body(List/NRow, Prio, Type, SList, Name0, Module) ?- !,
954 	make_display_matrix_body(Matrix, Prio, Type, SList, Name0, Module).
955 make_display_matrix_body(List, Prio, Type, SList, Name0, Module) :-
958 	make_display_matrix_body(Matrix, Prio, Type, SList, Name0, Module).
959 make_display_matrix_body(Matrix, Prio, Type, SList, Name, Module) :-
963 	(set_up_matdisplay(Dims, Matrix, Prio, Type, SList, Name, Id, SL, Module) ->
968 make_display_matrix_body(Matrix, Prio, Type, SList, Name, Module) :-
971 	error(Error,  make_display_matrix(Matrix, Prio, Type, SList, Name), Module).
995 set_up_matdisplay([N], Matrix, Prio, Type, SList, Name, Id, SL, Module) ?- !,
997 	set_up_matrowdis(1, N, Matrix, Prio, Type, SList, Id, SL, []),
999 set_up_matdisplay([M,N], Matrix, Prio, Type, SList, Name, Id, SL, Module) ?-
1001 	(foreacharg(Row, Matrix), param(N,Prio,Type,SList,Id), count(I, 1, M),
1003             set_up_matrowdis(I, N, Row, Prio, Type, SList, Id, S0, S1)
1006 set_up_matrowdis(CurrentRow, ColSize, Row, Prio, Type, SList, Id, SLIn, SLOut) :-
1008 	 param(CurrentRow,Prio,Type,Id,SList) do
1009            set_up_mattermdis(E, CurrentRow, I, Prio, Type, SList, Id, SL0, SL1)
1013 set_up_mattermdis(E, Row, Col, Prio, Type, SList, Id, [Susp|Out], Out) :-
1015 	    get_display_string(E, Type, String, _),
1016 	    suspend(term_display_demon(E,Row,Col,Id,Type,String, Susp), Prio, E->SList, Susp),
1017 	    Type1 = Type
1031 term_display_demon(Term, Row, Col, Id, Type, _Old, Susp) :-
1032 	send_display_elm(Term, Row, Col, Id, Type, String),
1056 send_display_elm(E, Row, Col, Id, Type, String) :-
1057 	get_display_string(E, Type, String, TState),
1230 lbindex_info([P|Ps], [Type|Types], _, [PInfo|PInfo0], Deepest) :-
1231 	get_onelbindex_info(Type, P, PInfo, ActualType),