Index: read-tools.pl
===================================================================
RCS file: read-tools.pl
diff -N read-tools.pl
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ read-tools.pl	3 Jun 2009 20:14:22 -0000
@@ -0,0 +1,96 @@
+% Copyright (C) Paweł Płazieński 2009
+%
+% This program is free software; you can redistribute it and/or modify it
+% under the terms of the GNU General Public License as published by the
+% Free Software Foundation; either version 2, or (at your option) any
+% later version.
+%
+% This program is distributed in the hope that it will be useful,
+% but WITHOUT ANY WARRANTY; without even the implied warranty of
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+% GNU General Public License for more details.
+%
+% You should have received a copy of the GNU General Public License
+% along with this program; if not, write to the Free Software
+% Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA
+
+get_line(Text) :-
+	get_line(Text,[]).
+
+get_line(Text,Completions) :-
+	get_line(Text,Completions,'-.> ').
+
+get_line(Text,Completions,Prompt) :-
+	write(Prompt),
+	get_line([],ReverseString,Completions,Prompt),
+	reverse(ReverseString,String),
+	string_to_list(Text,String).
+
+get_line(Got,ReverseString,Completions,Prompt) :-
+	get_single_char(B),
+% 	write(B),
+	( (B = 13 ; B = 10),
+		nl, ttyflush,
+		Got = ReverseString, !
+	; B = 9,
+		reverse(Got,ReverseGot),
+		string_to_atom(ReverseGot,Begin),
+		find_begin(Completions,Begin,Begins),
+		( Begins = [],
+			nl, write('<!- No completions'),
+			nl, write(Prompt),
+			(  Begin = []
+			;  not(Begin = []),
+			write(Begin)
+			),
+			get_line(Got,ReverseString,Completions,Prompt)
+		; Begins = [Single],
+			nl, write(Prompt), write(Single),
+			string_to_atom(S,Single),
+			string_to_list(S,G),
+			reverse(G,ReverseG),
+			get_line(ReverseG,ReverseString,Completions,Prompt)
+		; Begins = [_|Tail], not(Tail = []),
+			nl, pretty_write_list(Begins), write(Prompt),
+			(  Begin = []
+			;  not(Begin = []),
+			write(Begin)
+			),
+			get_line(Got,ReverseString,Completions,Prompt)
+		)
+	; B = 127,
+		(  Got = [_|G],
+		put_byte(8),
+		put_byte(32),
+		put_byte(8),
+		get_line(G,ReverseString,Completions,Prompt)
+		;  Got = [],
+		get_line(Got,ReverseString,Completions,Prompt)
+		)
+	; B = -1,
+		nl, ttyflush,
+		Got = end_of_file, !
+	; not(B = 13 ; B = 10 ; B = 127; B = 9; B = -1),
+		char_code(C,B),
+		put_char(C),
+		G = [B|Got],
+		get_line(G,ReverseString,Completions,Prompt)
+	).
+
+empty_line(X) :-
+	string_to_atom(X,'').
+
+find_begin(Completions,[],Completions).
+
+find_begin(Completions,Begin,Begins) :-
+	bagof(X, (member(X,Completions), begins(Begin,X)), Begins), !.
+
+find_begin(_,_,[]).
+
+begins(Begin,String) :-
+	string_concat(Begin,_,String).
+
+pretty_write_list([]).
+pretty_write_list([H|T]) :-
+	write('<.- : '), write(H), nl,
+	pretty_write_list(T).
Index: string-list.pl
===================================================================
RCS file: string-list.pl
diff -N string-list.pl
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ string-list.pl	3 Jun 2009 20:14:22 -0000
@@ -0,0 +1,52 @@
+% Copyright (C) Paweł Płazieński 2009
+%
+% This program is free software; you can redistribute it and/or modify it
+% under the terms of the GNU General Public License as published by the
+% Free Software Foundation; either version 2, or (at your option) any
+% later version.
+%
+% This program is distributed in the hope that it will be useful,
+% but WITHOUT ANY WARRANTY; without even the implied warranty of
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+% GNU General Public License for more details.
+%
+% You should have received a copy of the GNU General Public License
+% along with this program; if not, write to the Free Software
+% Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA
+
+list_string([],S,_) :-
+	S = ''.
+
+list_string(List,String,Separator) :-
+	List = [Head|Tail],
+	list_string(Tail,Rest,Separator),
+	string_to_atom(Element,Head),
+	(  Tail = [],
+		Rest = PrepRest
+	;  not(Tail = []),
+		string_concat(Separator,Rest,PrepRest)
+	),
+	string_concat(Element,PrepRest,String).
+
+lists_strings([],[]).
+
+lists_strings(ListifiedList,StringList) :-
+	ListifiedList = [ListifiedHead|ListifiedTail],
+	StringList = [StringHead|StringTail],
+	string_to_list(StringHead,ListifiedHead),
+	lists_strings(ListifiedTail,StringTail).
+
+string_list(String,List,[Separator]) :-
+	string_to_list(String,Listified),
+	list_separated(Listified,ListifiedLists,Separator),
+	lists_strings(ListifiedLists,List).
+
+list_separated(Separated,Lists,Separator) :-
+	not(member(Separator,Separated)),
+	Lists = [Separated].
+
+list_separated(Separated,Lists,Separator) :-
+	append(First,[Separator|Rest],Separated),
+	not(member(Separator,First)),
+	list_separated(Rest,Tail,Separator),
+	Lists = [First|Tail].
Index: varda.pl
===================================================================
RCS file: /mnt/cvs/cvs-hades/varda/varda.pl,v
retrieving revision 1.19
diff -u -w -r1.19 varda.pl
--- varda.pl	13 Mar 2008 23:10:04 -0000	1.19
+++ varda.pl	3 Jun 2009 20:14:23 -0000
@@ -36,11 +36,13 @@
 :- ensure_loaded('varda_xtt').
 :- ensure_loaded('varda_refactor').
 :- ensure_loaded('varda_xml').
+:- ensure_loaded('varda_controller').

 hlp :- vardahelp.

 vardahelp :-
 	nl,
+	write(' shl.  start interactive shell,'), nl,
 	write(' sar.  show the ARD diagram, can be used sar(File),'), nl,
 	write(' shi.  show the ARD history (TPH), can be used shi(File),'), nl,
 	write(' sha.  show the TPH and ARD combined, with can be used sha(File),'), nl,
Index: varda_controller.pl
===================================================================
RCS file: varda_controller.pl
diff -N varda_controller.pl
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ varda_controller.pl	3 Jun 2009 20:14:23 -0000
@@ -0,0 +1,189 @@
+% Copyright (C) Paweł Płazieński 2009
+%
+% VARDA shell predicates
+%
+%
+%     Copyright (C) 2006-9 by the HeKatE Project
+%
+%     VARDA has been develped by the HeKatE Project,
+%     see http://hekate.ia.agh.edu.pl
+%
+%     This file is part of VARDA.
+%
+%     VARDA is free software: you can redistribute it and/or modify
+%     it under the terms of the GNU General Public License as published by
+%     the Free Software Foundation, either version 3 of the License, or
+%     (at your option) any later version.
+%
+%     VARDA is distributed in the hope that it will be useful,
+%     but WITHOUT ANY WARRANTY; without even the implied warranty of
+%     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+%     GNU General Public License for more details.
+%
+%     You should have received a copy of the GNU General Public License
+%     along with VARDA.  If not, see <http://www.gnu.org/licenses/>.
+
+
+:- write('VARDA: $Id: varda_controller.pl,v 0.9 2009-05-25 22:48:20 niver Exp $'),nl.
+
+:- ensure_loaded('string-list').
+:- ensure_loaded('read-tools').
+
+shl :-
+	get_line(Line,
+		[sar,shi,sha,hic,tic,gax,sxt,pxt,xop,kid,axg,xxg,arp,pur,pux,hlp,hlt,ada,adp,dep,fin,spl]),
+	shell_interpret_line(Line).
+
+shl.
+
+shell_interpret_line(Line) :-
+	Line = end_of_file.
+
+shell_interpret_line(Line) :-
+	empty_line(Line),
+	!, shl.
+
+shell_interpret_line(Line) :-
+	string_to_atom(Line,Name),
+	current_functor(Name,0),
+	(call(Name) ->
+		write('<+- : Success'), nl;
+		write('<!- : Failure'), nl
+	), !, shl.
+
+shell_interpret_line(Line) :-
+	string_to_atom(Line,Name),
+	not(current_functor(Name,0)),
+	write('<!- : No such function'), nl,
+	!, shl.
+
+ada :-
+	write('Attribute name'),
+	get_line(Text),
+	atomize(Text,Atom),
+	ard_att_add(Atom).
+
+adp :-
+	write('Property attribute'),
+	ask_attribute(Attribute),
+	ard_property_add([Attribute]).
+
+dep :-
+	write('From (full property)'),
+	ask_property(From),
+ 	write('To (full property)'),
+	ask_property(To),
+	ard_depend_add(From,To).
+
+fin :-
+	write('Old (simple property)'),
+	ask_simple(OldProperty),
+	write('New (attributes)'),
+	ask_attribute_list(NewProperty),
+	ard_finalize(OldProperty,NewProperty).
+
+spl :-
+	write('Old (full property)'),
+	ask_property(OldProperty),
+	write('New (full property list)'),
+	ask_list(NewPropertyList),
+	ard_split(OldProperty,NewPropertyList,[]).
+
+ask_attribute(Attribute) :-
+	get_attributes(Atts),
+	get_line(Text,Atts),
+	atomize(Text,Attribute).
+
+ask_attributes(Attributes) :-
+	get_attributes(Atts),
+	get_line(Text,Atts),
+	atomize(Text,Attributes).
+
+ask_simple(Property) :-
+	get_simple_properties(Props),
+	properties_to_strings(Props,PropStrings),
+	get_line(Text,PropStrings),
+	not(empty_line(Text)),
+	atomize(Text,Atom),
+	propertize([Atom],Property).
+
+ask_property(Property) :-
+	get_properties(Props),
+	properties_to_strings(Props,PropStrings),
+	get_line(Text,PropStrings),
+	not(empty_line(Text)),
+	string_list(Text,List,","),
+	atomize(List,Atoms),
+	propertize(Atoms,Property).
+
+ask_list(List) :-
+	ask_list(List,[]).
+
+ask_list(List,Got) :-
+	get_properties(Props),
+	properties_to_strings(Props,PropStrings),
+ 	get_line(Text,PropStrings),
+ 	(  empty_line(Text),
+		List = Got
+	;  not(empty_line(Text)),
+		string_list(Text,Strings,","),
+		atomize(Strings,Current),
+		propertize(Current,Property),
+		union(Got,[Property],G),
+		ask_list(List,G)
+	).
+
+ask_attribute_list(List) :-
+	ask_attribute_list(List,[]).
+
+ask_attribute_list(List,Got) :-
+	get_attributes(Atts),
+ 	get_line(Text,Atts),
+ 	(  empty_line(Text),
+		List = Got
+	;  not(empty_line(Text)),
+		atomize(Text,Atom),
+		union(Got,[Atom],G),
+		ask_attribute_list(List,G)
+	).
+
+
+simple_property(X) :-
+	X = [_].
+
+get_attributes(List) :-
+	setof(X, ard_att(X), List).
+
+get_properties(List) :-
+	setof(X, ard_property(X), List).
+
+get_properties([]).
+
+get_simple_properties(List) :-
+	get_properties(All),
+	setof(X, (member(X,All), simple_property(X)), List), !.
+
+get_simple_properties([]).
+
+properties_to_strings([HProp|Props],[HString|Strings]) :-
+	property_to_string(HProp,HString),
+	properties_to_strings(Props,Strings).
+
+properties_to_strings([],[]).
+
+property_to_string(Property,String) :-
+	list_string(Property,String,',').
+
+propertize(List,Prop) :-
+	sort(List,Prop).
+
+atomize(Text,Atom) :-
+	\+ is_list(Text),
+	string_to_list(Text,X),
+	atom_chars(Atom,X).
+
+atomize([HText|Texts],[HAtom|Atoms]) :-
+	atomize(Texts,Atoms),
+	atomize(HText,HAtom).
+
+atomize([],[]).
Index: varda_generations.pl
===================================================================
RCS file: varda_generations.pl
diff -N varda_generations.pl
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ varda_generations.pl	3 Jun 2009 20:14:23 -0000
@@ -0,0 +1,142 @@
+%
+% Copyright 2009 by Paweł Płazieński
+%
+% VARDA model generation generator
+%
+%
+%     Copyright (C) 2006-9 by the HeKatE Project
+%
+%     VARDA has been develped by the HeKatE Project,
+%     see http://hekate.ia.agh.edu.pl
+%
+%     This file is part of VARDA.
+%
+%     VARDA is free software: you can redistribute it and/or modify
+%     it under the terms of the GNU General Public License as published by
+%     the Free Software Foundation, either version 3 of the License, or
+%     (at your option) any later version.
+%
+%     VARDA is distributed in the hope that it will be useful,
+%     but WITHOUT ANY WARRANTY; without even the implied warranty of
+%     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+%     GNU General Public License for more details.
+%
+%     You should have received a copy of the GNU General Public License
+%     along with VARDA.  If not, see <http://www.gnu.org/licenses/>.
+%
+
+gen :-
+	write('please specify file prefix with gen/1'), nl.
+
+gen(F) :-
+  ard_property(X),
+  \+ ard_hist(_,X),
+  setof(Y, ard_generate_collaptions([X],[],Y), L),
+  length(L,K),
+  write('generated '), write(K), write(' scenarios, '),
+  write('first 10 will be saved to files'), nl,
+  ard_save_scenarios(L,F).
+
+ard_save_scenarios(L,F) :-
+	length(L,K), K > 10,
+	append(C,_,L),
+	length(C, 10),
+	ard_save_scenarios(C,F).
+
+ard_save_scenarios([],_).
+
+ard_save_scenarios(L,F) :-
+	length(L,K), K =< 10, K > 0,
+	string_to_atom(Ks,K),
+	concat(F,'-',S1),
+	concat(S1,Ks,S2),
+	concat(S2,'.pl',S),
+	write('saving '), write(S), nl,
+	L=[H|T],
+	tell(S),
+	reverse(H,RH),
+	ard_save_scenario(RH,F),
+	told,
+	ard_save_scenarios(T,F).
+
+ard_save_scenario(_,F) :-
+	write(F), write(' :-'), nl, fail.
+
+ard_save_scenario(_,_) :-
+	ard_att(X),
+	write('	ard_att_add(\''), write(X), write('\'),'), nl,
+	fail.
+
+ard_save_scenario(_,_) :-
+	ard_property(X),
+	\+ ard_hist(_,X),
+	write('	ard_property_add('), write_escaped(X), write('),'), nl,
+	fail.
+
+ard_save_scenario(H,_) :-
+	member(X,H),
+	X = [Action,From,To],
+	(Action = 'finalize' ->
+		write('	ard_finalize('), write_escaped(From), write(','), write_escaped(To), write('),'), nl
+	;
+		write('	ard_split('), write_escaped(From), write(','), write_escaped(To), write(', []),'), nl
+	),
+	fail.
+
+ard_save_scenario(_,F) :-
+	write('	true.'), nl,
+	write(':- '), write(F), write('.'), nl.
+
+write_escaped(X) :-
+	write('['),
+	member(E,X),
+	(not(is_list(E)) ->
+		write('\''), write(E), write('\'')
+	;
+		write_escaped(E)
+	),
+	(last(X,E) -> true ; write(', ')),
+	fail.
+
+write_escaped(_) :-
+	write(']').
+
+ard_generate_collaptions(EndPropertyList,PrevTrans,FinalTrans) :-
+  select(Candidate,EndPropertyList,RestProperties),
+  bagof(X, ard_hist(Candidate,X), Products),
+  length(Products, ProductCount),
+  ProductCount > 1,
+  CurrTrans = [['split', Candidate, Products]|PrevTrans],
+  ard_non_final(Products,NonFinalProducts),
+  append(RestProperties, NonFinalProducts, NextTry),
+  ard_generate_collaptions(NextTry,CurrTrans,FinalTrans).
+
+ard_generate_collaptions(EndPropertyList,PrevTrans,FinalTrans) :-
+  select(Candidate,EndPropertyList,RestProperties),
+  bagof(X, ard_hist(Candidate,X), Products),
+  [Product] = Products,
+  CurrTrans = [['finalize', Candidate, Product]|PrevTrans],
+  ard_non_final(Products,NonFinalProducts),
+  append(RestProperties, NonFinalProducts, NextTry),
+  ard_generate_collaptions(NextTry,CurrTrans,FinalTrans).
+
+% ard_generate_collaptions(EndPropertyList,PrevTrans,FinalTrans) :-
+%   select(Candidate,EndPropertyList,RestProperties),
+%   \+ ard_hist(Candidate,_),
+%   CurrTrans = PrevTrans,
+%   ard_generate_collaptions(RestProperties,CurrTrans,FinalTrans).
+
+ard_generate_collaptions([],FinalTrans,FinalTrans).
+
+ard_non_final(Properties,NonFinals) :-
+  Properties = [X|PropRest],
+  ard_hist(X,_),
+  NonFinals = [X|NonFinalRest],
+  ard_non_final(PropRest,NonFinalRest).
+
+ard_non_final(Properties,NonFinals) :-
+  Properties = [X|PropRest],
+  \+ ard_hist(X,_),
+  ard_non_final(PropRest,NonFinals).
+
+ard_non_final([],[]).