/* Definition of structure_editor class Editor for the structural model Part of Garp3, see copyright notice Code partly inspired by old homer code 2000-2005 Jelmer Jellema, Spin in het Web, spininhetweb.nl 2006 Anders Bouwer */ :-pce_begin_class( structure_editor, framedWindow, "Implements the structure editor" ). variable(sketch,sketch,get, "the edited model sketch"). variable(moveSelect,gesture,get,"The saved click=select / move gesture"). variable(moveSelectSingle,gesture,get,"The saved click=select / move-single gesture"). %gp3 0.3 variable(toggleSelect,click_gesture,get,"The saved shift-click = toggle select gesture"). variable(toggleSelect_alternative, click_gesture, get, "Alternative for shift_click: middle_click"). variable(contextMenu, contextPopup,get,"The context menu"). variable(mustUpdateVisualisation, bool, get). %gp3: @on when it is needed to update visualisation in de next changeTreeApplied call (see mustUpdateVisualisation) variable(defaultDestinationRelation, string, get, "The default destination relation for importing"). %% % initialise(VE, Sketch: sketch = sketch ) :-> "Create an sketch editor and open it" :: VE->>slot(sketch,Sketch), %moet eerder ivm label VE ->+ initialise( VE?makeWindowLabel ,buttonbar := vertical , helpId := 'StructureEditor' ), VE->>icon(@build_icon), VE->>init_commands, VE->>init_menu, VE->>init_buttonbar, VE->>init_handlers, VE->>update_visualisation(@on), VE->>slot(mustUpdateVisualisation,@off), VE->>slot(defaultDestinationRelation,'Keep original name'), VE?client->>onScroll(->>(VE,saveLayoutInfo)), %gp3 1.0, make sure all relative positions are resaved when origin changes VE->>open, VE->>position(point(@display?width *0.15,@display?height * 0.15)), MaxSize *= size(@display?width * 0.80, @display?height * 0.80), DefSize *= size(550,480), SavedSize = Sketch<<-layOutInfoDefault(Sketch,editSize, DefSize), %bepaal de grootte: er kan opgeslagen zijn dat het window kleiner moet %groter mag echter niet Width *= number(MaxSize?width), Width->>minimum(SavedSize?width), Height *= number(MaxSize?height), Height->>minimum(SavedSize?height), VE->>size(size(Width,Height)), % create some space as margin at the top and left % to do: scroll to the origin as the user left it VE?client->>scroll_to(point(-20,-20)), get(@model, '_value', Model), send(VE, associateModel, Model). %% %% destroy(VE):-> "Destroy the editor" :: %we slaan layout-info op bij de elementen VE->>saveLayoutInfo, VE->+destroy. %% %% saveLayoutInfo(VE):-> "Save info about the lay-out of elements and editor in model" :: VE?sketch->>clearLayOutInfo, %gp3 0.3: clear old information All = VE<<-all_named_hypered(element), All->>for_some(->>(@arg1, saveLayoutInfo)), %can fail %en zelf slaan we ook het een en ander op %dit doen we gewoon in het sketch zelf, met het sketch zelf als verwijzing VE?sketch->>layOutInfo(VE?sketch, editSize, VE?size). %% % init_menu(VE ) :-> send_list(VE?menubar, append, %zie framedWindow [ new(File,popup('File')), new(Edit,popup('Edit')), %I.p.v. conditie en consequentie menu's maar een: Elements (gewone popup) %wel zitten er command objecten %in. Mooier zou zijn om die popups ok te vullen %maar dat is van later zorg (kan gewoon met %menuPopupCommand) new(Elements, popup('Elements')), new(Import,popup('Import')) ]), send_list(File,append, [ menuCommand(saveSketch, 'SaveSketch','Save sketch in model'), menuCommand(loadSketch, 'LoadSketch','Open saved sketch'), menuCommand(eps,'SaveEPS', label := 'Save Diagram to EPS file'), %gp3 0.3 menuCommand(saveModel,'SaveModel','Save model to disk') ]), send_list(Edit,append, [ menuCommand(delete, 'Delete', 'Delete'), menuCommand(properties, 'Properties','Properties...') ]), Elements->>colour(black), send_list(Elements,append, [ menuCommand(addSketchEntity, 'AddSketchEntity','Add Sketch Entity'), menuCommand(addSketchAgent, 'AddSketchAgent','Add Sketch Agent'), menuCommand(addSketchAssumption, 'AddSketchAssumption','Add Sketch Assumption'), menuCommand(addSketchObject, 'AddSketchObject','Add Sketch Undefined Concept'), menuCommand(addSketchStructuralRelation, 'AddSketchStructuralRelation','Add Sketch Structural Relation'), menuCommand(delete, 'Delete','Delete', end_group := @on) ] ), Import->>colour(black), send_list(Import,append, [ menuCommand(importConcepts, 'ImportConcepts','Import concepts from Concept Map'), menuCommand(importRelations, 'ImportRelations','Import relations from Concept Map', end_group := @on) ] ). % %% % init_buttonbar(VE):-> % create the elements for the buttonbar % version for structure editor B = VE<<-buttonBar, % for structure editor % To Do - buttons should have textual names % new(ButtonAddSketchObject, button('SketchObject', message(VE, addSketchObject))), % new(ButtonAddSketchStructuralRelationship, button('SketchStructuralRelationship', message(VE, addSketchStructuralRelationship))), % send(B, append, ButtonAddSketchObject, below), % send(B, append, ButtonAddSketchStructuralRelationship, below), % send(B, size, size(105, 200)), B<<-add(addSketchEntity,'AddSketchEntity',sketch_buttonbars,new_entity,new_entity_g,'Add Sketch Entity'), B<<-add(addSketchAgent,'AddSketchAgent',sketch_buttonbars,new_agent,new_agent_g,'Add Sketch Agent',below, addSketchEntity), B<<-add(addSketchAssumption,'AddSketchAssumption',sketch_buttonbars,new_assumption,new_assumption_g,'Add Sketch Assumption',below, addSketchAgent), B<<-add(addSketchObject,'AddSketchObject',sketch_buttonbars,new_concept,new_concept_g,'Add Sketch Undefined Concept', below, addSketchAssumption), B<<-add(addRel,'AddSketchStructuralRelation',sketch_buttonbars,new_relation,new_relation_g,'Add Sketch Structural Relation',below, addSketchObject), B<<-add(delete,'Delete',sketch_buttonbars,delete,delete_g,'Delete',below, addRel). % send(B, fit), % send(B?frame, fit), % send(B, layout). %% /*******************ACTIES*****************************/ %% init_handlers(VE ):-> "Initialise the event handlers" :: %zie beneden bij Acties voor de implementatie van de action_... calls %de handlers worden opgeslagen voor hergebruik %(niet als pce_global, maar gewoon als member) %wat functies Element *= @arg1?receiver, Frame *= Element?frame, %een move_gesture die meteen ook selecteert %Move *= move_gesture(left), Move *= multi_move_gesture(VE?getMultiMove, ->>(VE,dragMultiMove,@arg1,@arg2,@on),left, endMessage := ->>(VE,saveLayoutInfo)), %last arg: gp3 1.0 Move->>condition(->>(Frame, action_singleSelection, Element)), VE->>slot(moveSelect,Move), %gp3: the same but with control key only moves an object, not its %moveablesubs MoveSingle *= multi_move_gesture(VE?getMultiMove, ->>(VE,dragMultiMove,@arg1,@arg2,@off),left,c, endMessage := ->>(VE,saveLayoutInfo)), %last arg: gp3 1.0 MoveSingle->>condition(->>(Frame, action_singleSelection, Element)), VE->>slot(moveSelectSingle,MoveSingle), %en de toggle versie voor select VE->>slot(toggleSelect,click_gesture(left, 's', single, ->>(Frame, action_toggleSelect, Element))), VE->>slot(toggleSelect_alternative,click_gesture(middle,'', single, ->>(Frame,action_toggleSelect,Element))), %context menu VE->>slot(contextMenu, contextPopup('ContextPopup', ->>(Frame, action_singleSelection, Element))), %selectie-rectangle heeft een beetje andere vars Select *= ->>(@arg1?frame, action_multiselection_select, @arg1), Deselect *= ->>(@arg1?frame, action_multiselection_deselect, @arg1), %de normale zonder shift SGNormaal *= select_gesture(left, '', Select, Deselect), %de conditie zorgt voor het weghalen vd oude selectie SGNormaal->>condition(->>(Frame, action_removeSelection)), VE?client->>recogniser(SGNormaal), %de versie met shift heeft geen conditie, zodat %oude selectie blijft bestaan SGAdd *= select_gesture(left, 's', Select, Deselect), VE?client->>recogniser(SGAdd). %% %% getMultiMove(VE, M : chain):<- "Callback for multi_move_gesture" :: %welke graphicals moeten bij een multi move bewegen %dit zijn in principe de graphicals die geselecteerd zijn %maar als van een geselecteerde graphical ook een moveablesub is geselecteerd %dan kan die moveablesub weg, want die gaat dan wel mee %anders dubbel S = VE<<-selection, M = S<<-copy, Current *= var, S->>for_all(if(->>(M,member,@arg1), %moet er nog zijn and(assign(Current,@arg1), ->>(M,for_all, if(and(@arg1 \== Current, ->>(Current,isMoveTogetherSub,@arg1)), ->>(M,delete,@arg1)))))). %% %% dragMultiMove(VE,Change: point, Dragged: chain, DragMoveableSubs: bool):-> %callback van multi_move_gesture bij een drag %in Dragged zit al de lijst met te verplaatsten graphicals %(volgens getMultiMove van hierboven) %gp3 0.3 added DragMoveableSubs argument Moved *= chain, Dragged->>for_all(->>(@arg1,dragMove,Change,Moved,DragMoveableSubs)), %in Moved zitten nu alle verplaatste objecten %eens kijken of er relaties en calculi zijn die maar beter mee kunnen % I think this is not relevant for Sketch? - AB, 5 sept 2006 %gp3 1.0: there may be relations between calculi etc. So we keep doing this until %no new element moves RelCalc = VE?elements<<-find_all( ->>(@arg1,instance_of,sketchGenericRelationVisualElement)), Looper *= var(value := @on), while(Looper == @on, and( assign(Looper,@off), if(->>(RelCalc,find,->>(@arg1,checkDragMove,Change,Moved)), assign(Looper,@on) ) ) )->>forward. %% %% action_removeSelection(VE):-> "Implement remove selection action":: VE?client->>selection(@nil). %% %% action_singleSelection(VE, E: graphical):-> "Implement single selection action":: %selecteren van deze graphical, maar niet als dat al zo is %dan blijft dus de multiple-selection intakt \+ @on = E<<-selected -> VE?client->>selection(E) ; true. %% %% action_toggleSelect(_VE, E: graphical):-> "Implement toggle select action" :: E->>selected(E?selected?negate). %% %% action_multiselection_select(_VE,E: graphical):-> "Implement select callback for select_gesture" :: %het element wordt geselecteerd. Maar als ie dat al is dan laten we de call %falen: de gesture zal dan niet de deselect callback gebruiken voor dit element %zodat het ding geselecteerd blijft (voor de shift variant) \+ @on = E<<-selected, E->>instance_of(sketchVisualElement), %alleen visual elements E->>selected(@on). %% %% action_multiselection_deselect(_VE, E: graphical):-> "Implement deselect callback for select_gesture" :: E->>selected(@off). %% /******************COMMANDS**************************/ %% init_commands(VE ) :-> "Initialise command objects" :: %initialiseer de commando s. Zie framedwindow.pl en command.pl VE->>command('LoadSketch'), %load sketch VE->>command('SaveSketch'), %save sketch VE->>command('Delete',key := 'DEL', keystring := '[DEL]', otherkeys := chain(backspace)), %verwijder de selectie VE->>command('Properties',key := 'RET', keystring := '[ENTER]'), VE->>command('SaveEPS'), %gp3 0.3 VE->>command('SaveModel', key := '\\C-s', keystring := '[Ctrl + S]'), VE->>command('AddSketchObject', key := '\\C-n', keystring := '[Ctrl + N]'), VE->>command('AddSketchEntity', key := '\\C-e', keystring := '[Ctrl + E]'), VE->>command('AddSketchAgent', key := '\\C-a', keystring := '[Ctrl + A]'), VE->>command('AddSketchAssumption', key := '\\C-m', keystring := '[Ctrl + M]'), VE->>command('AddSketchStructuralRelation',key := '\\C-r', keystring := '[Ctrl + R]'), VE->>command('ImportConcepts',key := '\\C-i', keystring := '[Ctrl + I]'), VE->>command('ImportRelations',key := '\\C-j', keystring := '[Ctrl + J]'), %commands voor het afhandelen van de menu-balk, deze runt dus niet %maar de update command is handig voor het vullen van het menu enzo VE->>command('ContextPopup',runnable := @off). % %% /***ALGEMENE COMMANDO'S**********/ %%gerelateerd aan het ContextPopup commando, voor het contextmenu %geen check %geen run want runnable := @off (zie boven) updateFillPopupContextPopup(_VE,Popup) :-> %het vullen vh menu, eerst de algemene dingen, dan afhankelijk van het geselecteerde object(??) %gp3 0.3 changed this: we added the new toggleSubsketches command %but only when the selection is a modelsketch send(Popup,clear), Popup->>append(menuCommand(properties, 'Properties','Properties...',end_group := @on)), %always first send_list(Popup,append, [ menuCommand(delete, 'Delete', 'Delete') ]). infoDefaultItemContextPopup(_EE, DefaultItem: 'any*'):<- %We moeten de value van het default item teruggeven voor de contextPopup DefaultItem = properties. %altijd /***********************************/ %%saveModel %% checkSaveModel(_VE):-> %Always save the model true. %@on = @model<<-changed. % onSaveModel(_VE):-> %gp3 just tell the app we want to save @app->>save. %% %%saveEPS onSaveEPS(E):-> %gp3 0.3: save the graph to file %copied code from class_visigarp if get(@garp3_finder, file, E, 'Save Diagram to EPS file', @off, '.eps', FileName) then ( Pict = E<<-client, %gp3 new(File, file(FileName)), send(File, open, write), send(File, append, Pict?postscript), send(File, close), send(File, done), send(E, statusText, string('Saved PostScript in %s', FileName)) %gp3 0.3 changed this from report ). %% /****** IMPORT Functionality *********/ % % onImportConcepts(VE):-> % Open a dialog with options for ImportConcepts send(VE, importConcepts). %% % importConcepts(VE) :-> "Display window for importing concepts from Concept Map":: new(Dialog, assistanceDialog('Import','Sketch_ImportConceptsFromConceptMapToStructureModel')), send(Dialog, transient_for, VE), send(Dialog, border, size(20,20)), MaxX *= number(0), %houden we de maximale X coordinaat in bij zodat we rechts kunnen uitlijnen % GapX = Dialog<<-gapX, GapY = Dialog<<-gapY, % create a listbrowser for choosing which concepts should be imported from the Concept map DefList *= extendedListBrowser(width := 50), DefList->>name(defList), send(VE, hyper, DefList, listBrowser, frame), % DefList->>show_label(@off), DefList->>multiple_selection(@on), DefList->>label('Import the following concepts from the Concept map:'), send(Dialog, append, DefList, below), % Dialog->>display(DefList, point(100, 200)), % Dialog->>display(DefList, point(10*GapX, Dialog?topY+200)), MaxX->>maximum(DefList?right_side), % Buttons for Select all and none % new(AllButton, imgButton(all, message(DefList, selection, DefList?members), img:=select_all, tt:= 'Select all' ) ), new(NoneButton, imgButton(none, message(DefList, selection, @nil), img := select_none, tt := 'Select none' ) ), send(Dialog, append, new(BTS, dialog_group(buttons, group)), right), send(BTS, gap, size(0, 0)), send(BTS, append, new(T1, text('Select')), below), send(T1, font, bold), send(BTS, append, AllButton, below), send(BTS, append, NoneButton, below), ListBottom *= number(DefList?bottom_side), ListBottom->>maximum(DefList?top_side + DefList?image?top_side + %=bovenkant vd lijst % EditDef?height + GapY), %hieruit volgt de onderkant van de lijst (minimaal ruimte van label + buttons) DefList->>bottom_side(ListBottom), VE->>fillDefList(DefList, concept), % create a menu for choosing what the concepts should become in the new context new(M1, menu('to the following type in the Structure model:', choice)), % default message when a menu item is chosen send(M1, message, and( message(@prolog, pl_set_import_type, VE, @arg1) ) ), send(M1, alignment, left), send(M1, columns, 1), send(M1, layout, vertical), send(M1, gap, size(0,10)), % difference between gap & border? send(M1, border, 0), % difference between gap & border? send(M1, value_width, 140), send(M1, format, left), send_list(M1, append, % first column [ menu_item('entity', @default, 'Entities'), menu_item('agent', @default, 'Agents'), menu_item('assumption', @default, 'Assumptions'), menu_item('undefined', @default, 'Undefined') ]), %gp3 0.2 made these settings app-settings which are automatically saved % this sets the selection to what was selected last time % IC = @app<<-setting(import_concepts_from_concept_map_to_structure_model), % this just sets it back to Entities every time the editor is opened IC = 'entity', @app->>setting(import_concepts_from_concept_map_to_structure_model, IC), send(M1, selection, IC), send(Dialog, append, M1, below), % Dialog->>display(M1, point(Dialog?gapX, (DefList?bottom_side+Dialog?gapY)) ), Ok *= imgButton(ok, ->>(VE, ok, Dialog), img:=sketch_save, tt:='Apply'), Dialog->>append(Ok,below), % Dialog->>display(Ok,point(GapX, (M1?bottom_side + GapY)) ), Ok->>default_button(@on), %Ok->>keyboard_focus(@on), Close *= imgButton(close,->>(Dialog,destroy),tt:='Close this window'), Dialog->>append(Close, right), % Dialog->>display(Close,point((Dialog?right_side - Close?width),Ok?top_side)), send(Dialog, open). %% % onImportRelations(VE):-> % Open a dialog with options for ImportRelations send(VE, importRelations). %% % importRelations(VE) :-> "Display window for importing relations from Concept Map":: new(Dialog, assistanceDialog('Import','Sketch_ImportRelationsFromConceptMapToStructureModel')), send(Dialog, transient_for, VE), send(Dialog, border, size(20,20)), MaxX *= number(0), %houden we de maximale X coordinaat in bij zodat we rechts kunnen uitlijnen % GapX = Dialog<<-gapX, GapY = Dialog<<-gapY, % create a listbrowser for choosing which relations should be imported from the Concept map DefList *= extendedListBrowser(width := 50), DefList->>name(defList), % DefList->>show_label(@off), DefList->>multiple_selection(@on), DefList->>label('Import the following relations from the Concept map:'), send(Dialog, append, DefList, below), % Dialog->>display(DefList, point(100, 200)), % Dialog->>display(DefList, point(10*GapX, Dialog?topY+200)), MaxX->>maximum(DefList?right_side), % Buttons for Select all and none % new(AllButton, imgButton(all, message(DefList, selection, DefList?members), img:=select_all, tt:= 'Select all' ) ), new(NoneButton, imgButton(none, message(DefList, selection, @nil), img := select_none, tt := 'Select none' ) ), send(Dialog, append, new(BTS, dialog_group(buttons, group)), right), send(BTS, gap, size(0, 0)), send(BTS, append, new(T1, text('Select')), below), send(T1, font, bold), send(BTS, append, AllButton, below), send(BTS, append, NoneButton, below), ListBottom *= number(DefList?bottom_side), ListBottom->>maximum(DefList?top_side + DefList?image?top_side + %=bovenkant vd lijst % EditDef?height + GapY), %hieruit volgt de onderkant van de lijst (minimaal ruimte van label + buttons) DefList->>bottom_side(ListBottom), VE->>fillDefList(DefList, relation), % create another listbrowser for choosing the type of relation as destination DefList2 *= extendedListBrowser(width := 50), new(It, style(font:=italic)), send(DefList2, style, italics, It), DefList2->>name(defList2), % DefList2->>show_label(@off), DefList2->>multiple_selection(@off), DefList2->>label('To the following type of relation in the Structure model:'), send(Dialog, append, DefList2, below), % Dialog->>display(DefList2, point(100, 200)), % Dialog->>display(DefList2, point(10*GapX, Dialog?topY+200)), MaxX->>maximum(DefList2?right_side), ListBottom2 *= number(DefList2?bottom_side), ListBottom2->>maximum(DefList2?top_side + DefList2?image?top_side + %=bovenkant vd lijst % EditDef?height + GapY), %hieruit volgt de onderkant van de lijst (minimaal ruimte van label + buttons) DefList2->>bottom_side(ListBottom2), VE->>fillDefList(DefList2, destination_relation), get(VE, defaultDestinationRelation, DefStr), get(DefList2?members, find, ->>(@arg1?name, equal, DefStr), DefaultItem), % get(DefList2, member, DefStr, DefaultItem), send(DefList2, select, DefaultItem), % get(DefList2, member, DefStr, DefList?members?tail), % send(DefList2, select, DefList?members?tail), Ok *= imgButton(ok_relations, ->>(VE, ok_relations, Dialog), img:=sketch_save, tt:='Apply'), Dialog->>append(Ok,below), % Dialog->>display(Ok,point(GapX, (M1?bottom_side + GapY)) ), Ok->>default_button(@on), %Ok->>keyboard_focus(@on), Close *= imgButton(close,->>(Dialog,destroy),tt:='Close this window'), Dialog->>append(Close, right), % Dialog->>display(Close,point((Dialog?right_side - Close?width),Ok?top_side)), send(Dialog, open). %% % ok(VE, D):-> "Ok pressed: save changes" :: % for all selected elements from the Concept map, copy them to the right type get(D, member, defList, DefList), get(DefList, selection, Sel), Type = @app<<-setting(import_concepts_from_concept_map_to_structure_model), send(Sel, for_all, message(@prolog, pl_import, VE, DefList, @arg1, Type)), D->>return. %% % ok_relations(VE, D):-> "Ok pressed: save changes" :: % for all selected relations from the Concept map, copy them to the structure model get(D, member, defList, DefList), get(D, member, defList2, DefList2), get(DefList, selection, Sel), get(DefList2, selection, Sel2), send(Sel, for_all, message(@prolog, pl_import_rel, VE, DefList, @arg1, Sel2?object)), D->>return. %% % pl_set_import_type(_VE, Type):- @app->>setting(import_concepts_from_concept_map_to_structure_model, Type). %% % % pl_import_rel(VE, List, Rel, Def) % % import relation Rel using the selected destination Def into listbrowser List % pl_import_rel(VE, List, Rel, Def):- get(Rel?remarks, copy, Remarks), % or should I use the copyBuffer, or an importBuffer? send(VE, importRelation(List, Rel, Def, Remarks)). %% % pl_import(VE, List, Def, Type):- get(Def?name, copy, DefName), pl_create_unique_name(VE, DefName, 1, Name), get(Def?remarks, copy, Remarks), % or should I use the copyBuffer, or an importBuffer? get(Name, value, NameV), send(VE, importConcept(Name, Type, Remarks)), send(VE, show_import_result(List, Def, NameV, Type)). %% % pl_create_unique_name(VE, Name, _Number, Name):- % writef('create a unique name based on %w\n',[Name]), not(pl_existing_name(VE?sketch, Name)),!. % pl_create_unique_name(VE, Name, Number, NewName):- if Number = 1 then NewName *= string('%s (imported)', Name) else NewName *= string('%s (imported %s)', Name, Number), not(pl_existing_name(VE?sketch, NewName)),!. % pl_create_unique_name(VE, Name, Number, NewName):- %copy Number exists, raise the number NewNumber is Number + 1, pl_create_unique_name(VE, Name, NewNumber, NewName). %% % pl_existing_name(SK, NewName):- % check for existing sketchObjects with equal name ?(SK,findElements,sketchObjectElement)->>find(->>(@arg1?name, equalExportName, NewName)). %% %% importRelation(VE, List, Rel, Def, Remarks):-> % if corresponding copies of the left and right arguments can be % found in the current sketch if pl_find_relation_arguments(VE, Rel, L, R) then ( % first, find or create and save a sketchStructuralRelation definition pl_get_new_structural_relation_def(VE, Rel, Def, NewDef), new(L_Route, chain), new(R_Route, chain), get(VE, sketch, SK), debug(sketch(test), 'importRelation sketchStructuralRelation for sketch SK: ~w',[SK]), @model->>changeRequest(newSketchStructuralRelation, VE?sketch, VE, % D?state_member?selection, NewDef, % D?arg1,D?arg1Route,D?arg2,D?arg2Route, L,L_Route,R,R_Route, Remarks), send(VE, show_import_rel_result(List, Rel?object, NewDef?name?value)) ) else VE->>msgBox(string('Relation could not be imported - one or more required arguments are missing.')). % @app?mainMenu->>msgBox(string('Relation could not be imported - one or more required arguments are missing.')). %% % show_import_result(_VE, List, Def, NewName, Type):-> "Show feedback about the result of what has been imported to what":: get(Def, name, Name), % get(NewNameStr, value, NewName), swritef(ReportTxt, '%w --> %w: %w',[Name, Type, NewName]), % VE->>msgBox(string(ReportTxt)), get(List?members, find, ->>(@arg1?name, equal, Name), El), send(El, label, ReportTxt). %% % show_import_rel_result(_VE, List, Def, NewName):-> "Show the result of what has been imported to what":: get(Def, name, Name), get(Def?argument1, name, L), get(Def?argument2, name, R), % writef('%w --%w-> %w imported to: %w --%w-> %w\n',[L, Name, R, L, NewName, R]), swritef(ReportTxt, '%w --%w-> %w imported to: %w --%w-> %w',[L, Name, R, L, NewName, R]), % VE->>msgBox(string(ReportTxt)), get(List?members, find, ->>(@arg1?object, equal, Def), El), send(El, label, ReportTxt). %% % pl_get_new_structural_relation_def(VE, Rel, Def, NewDef) % % return NewDef (the destination type of relation) based on the Rel to be imported, and the selected Def % pl_get_new_structural_relation_def(VE, Rel, Def, NewDef):- % if the user chose to keep the original name get(VE, defaultDestinationRelation, DefStr), if (Def?name->>equal(DefStr)) % then get or create a NewDef with same data as Rel then ( get(VE, sketch, SK), % if a RelDef with that name exists already in the structural model, return it as NewDef if % get(@model?sketchStructuralRelationDefinitions, find, @arg1?name == Rel?name, RelDef) get(SK?sketchStructuralRelationDefinitions, find, @arg1?name == Rel?name, RelDef) then NewDef = RelDef else ( % create a new one based on the name of the original one @model->>changeRequest(addSketchStructuralRelationDef, @model, VE, Rel?name?copy, Rel?remarks?copy), % get(@model, sketchStructuralRelationDefinitions, RelDefs), get(SK, sketchStructuralRelationDefinitions, RelDefs), % get it get(RelDefs, find, @arg1?name == Rel?name, NewDef) ) ) % else, just use Def else ( NewDef = Def ). %% % pl_find_relation_arguments(VE, Def, L, R):- % get the original arguments get(Def?argument1?name, copy, L0), get(Def?argument2?name, copy, R0), % find the corresponding ones in the current editor pl_find_element(VE, L0, L), pl_find_element(VE, R0, R). %% % pl_find_element(VE, Name, El):- get(VE?sketch?elements, find, @arg1?name == Name, El). %% %% importConcept(VE, ConceptName, Type, Remarks):-> % This E should not really be necessary, I think. E = @model<<-hypered(topSketchObject), @model->>changeRequest(newFSketchObject, VE?sketch, VE, % VE?sketchConcept, E, ConceptName, Type, Remarks). %% %% fillDefList(_VE, List, Type):-> "(re)fill the definitions list with concepts of the concept map" :: Type == concept,!, % List = D<<-defList_member, List->>clear, Defs = @model<<-sortedSketchConcepts, CreateItem *= create(dict_item, @arg1, @arg1?name, @arg1), Defs->>for_all(->>(List, append, CreateItem)), CreateItem->>done, Defs->>done. %% %% fillDefList(_VE, List, Type):-> "(re)fill the definitions list with relations of the concept map" :: Type == relation,!, % List = D<<-defList_member, List->>clear, % sortedRelationDefinitions only contains the definitions, not the actual instances of relations % Defs = @model<<-sortedRelationDefinitions, get(@model, hypered, conceptMapMF, SK), % Rels = SK?elements?find_all, message(@arg1? instance_of, relation)), get(SK, findElements, sketchRelationElement, Rels), send(Rels, for_all, and( message(@prolog, pl_create_and_add_relation_item, List, @arg1) ) ), Rels->>done. %% %% fillDefList(VE, List, Type):-> "(re)fill the definitions list with relation types of the structure model" :: Type == destination_relation,!, % List = D<<-defList2_member, List->>clear, % get(@model, sortedSketchStructuralRelationDefinitions, RelDefs), get(VE?sketch, sortedSketchStructuralRelationDefinitions, RelDefs), send(RelDefs, for_all, and( message(@prolog, pl_create_and_add_destination_relation_item, List, @arg1, normal) ) ), get(VE, extraStructuralRelationDef, ExtraRelDef), % add an option to keep the original relation name pl_create_and_add_destination_relation_item(List, ExtraRelDef, italics), RelDefs->>done. %% % extraStructuralRelationDef(VE, Def):<- % if it does not exist yet, create it if get(@model, hypered, extraStructRelDef, RelDef) then Def = RelDef else ( get(VE, defaultDestinationRelation, DefStr), new(Def, sketchStructuralRelationDefinition(DefStr,'Dummy structural relation')), new(_PartOfHyper, partof_hyper(@model, Def, extraStructRelDef)) % send(VE, hyper, Def, extraStructRelDef, editor) ). %% % pl_create_and_add_relation_item(List, Rel):- get(Rel?argument1?name, copy, LName), get(Rel?argument2?name, copy, RName), get(Rel?name, copy, RelName), swritef(RelStr, '%w --%w-> %w',[LName, RelName, RName]), string_to_atom(RelStr, Name), Item *= create(dict_item, Rel, Name, Rel), send(List, append, Item), send(Item, done). %% % pl_create_and_add_destination_relation_item(List, RelDef, Style):- get(RelDef?name, copy, RelName), swritef(RelStr, '%w',[RelName]), string_to_atom(RelStr, Name), Item *= create(dict_item, RelDef, Name, RelDef, Style), send(List, append, Item), send(Item, done). %% %% % menuCommand for loadSketch checkLoadSketch(_VE):-> %only possible in non-legacy mode with a model that contains saved sketches %\+ legacy = @app<<-modelState, \+ get(@model, modelState, legacy), \+ @model?savedSketches->>empty. % onLoadSketch(VE):-> %pass thru to app @app->>loadSketch(VE, structureMF). %% % menuCommand for saveSketch checkSaveSketch(_VE):-> true. % % onSaveSketch(VE):-> %pass thru to app @app->>saveSketch(VE, structureMF). %% /*****LOSSE OBJECTEN ED *********/ % AddSketchObject % AB, feb 2006 % based on givenSketchObject % checkAddSketchObject(_VE):-> % always possible true. % onAddSketchObject(VE):-> %Add a sketchObject in the Structure Editor %Open the sketchObject properties dialog new(sketchObjectPropsDlg(VE))->>newObject(undefined). % AddSketchEntity % AB, aug 2006 % checkAddSketchEntity(_VE):-> % always possible true. % onAddSketchEntity(VE):-> %Add a sketchEntity in the Structure Editor %Open the sketchEntity properties dialog new(sketchObjectPropsDlg(VE))->>newObject(entity). % AddSketchAgent % AB, aug 2006 % checkAddSketchAgent(_VE):-> % always possible true. % onAddSketchAgent(VE):-> %Add a sketchAgent in the Structure Editor %Open the sketchAgent properties dialog new(sketchObjectPropsDlg(VE))->>newObject(agent). % AddSketchAssumption % AB, aug 2006 % checkAddSketchAssumption(_VE):-> % always possible true. % onAddSketchAssumption(VE):-> %Add a sketchAssumption in the Structure Editor %Open the sketchAssumption properties dialog new(sketchObjectPropsDlg(VE))->>newObject(assumption). % AddSketchStructuralRelation % Ab, feb 2006 % based on givenConfiguration checkAddSketchStructuralRelation(VE):-> %possible in all types, when two instanceElements are selected checkEditorStateStructureEditor(VE,any,any,any, [[sketchObjectVisualElement,sketchObjectVisualElement]/any]). % [[instanceElement,instanceElement]/any]). % onAddSketchStructuralRelation(VE):-> % add SketchStructuralRelation Sel = VE<<-selection, First= Sel<<-head, Sec = Sel<<-tail, new(sketchStructuralRelationPropsDlg(VE))->>newObject(First?sketchElement, First?route, Sec?sketchElement, Sec?route). %% /*******Voor meerdere objecten*************/ %%Delete checkDelete(VE):-> checkEditorStateStructureEditor(VE, any, %welke sketchen mogen any, %welke sketchen mogen niet 1, %aantal geselecteerde objecten [ [sketchObjectVisualElement/any], [sketchStructuralRelationVisualElement/any] ] ). %% % onDelete(VE):-> %Regel het verwijderen E = VE<<-singleSelection, Type = E<<-name, FE = E<<-sketchElement, pl_onDeleteStructureEditor(VE,FE,Type). % pl_onDeleteStructureEditor(VE,FE,sketchObjectVisualElement):- %we sturen de betreffende CR @model->>changeRequest(deleteFSketchObject, VE?sketch, VE, FE). % pl_onDeleteStructureEditor(VE,FE,sketchStructuralRelationVisualElement):- @model->>changeRequest(deleteSketchStructuralRelation, VE?sketch, VE, FE). %% %%properties checkProperties(VE):-> %mag bij elk niet-fixed object, alleen mag er maar 1 geselecteerd zijn checkEditorStateStructureEditor(VE,any,any,1,[[any/any]]), \+ valueMarker = VE?singleSelection<<-name. % onProperties(VE):-> %dit hangt natuurlijk erg van het geselecteerde object af %we delegeren dit naar een prolog helper, die de rest doet %we doen alleen wat voorbereiding Element = VE<<-singleSelection, ReadOnly = @off, Type = Element<<-name, FE = Element<<-sketchElement, Sketch = VE<<-sketch, pl_onPropertiesStructureEditor(VE,Type,FE,Sketch,Element,ReadOnly). %voor elk type een clause... pl_onPropertiesStructureEditor(VE,sketchObjectVisualElement,FE,_Sketch,_Element,ReadOnly):- new(sketchObjectPropsDlg(VE))->>editObject(FE, ReadOnly). % pl_onPropertiesStructureEditor(VE,sketchStructuralRelationVisualElement,FE,_Sketch,_Element, ReadOnly):- new(sketchStructuralRelationPropsDlg(VE))->>editObject(FE, ReadOnly). /******************* VIEW ***************************/ %% %%Full Redraw %%gp3 1.0: Full redraw all element: remove all saved layout info and redraw. All hidden stuff is show, default positions are used onFullRedraw(VE):-> Sketch = VE<<-sketch, VE->>destroy, %we are going to restart this window Sketch->>clearLayOutInfo, @app->>openViewEditor(Sketch). %% /*******************CHANGE REQUESTORS****************/ %% changeApplied_newFSketchObject(VE, CR:changeRequestor ):-> %onze reaktie bij een nieuwe instantie: we moeten hem maken %en afbeelden %gp3 0.3: no selection change even when this editor initiated the change VE->>update_visualisation, %need to do it right now IE = VE<<-findFirstElement(CR?result), unless CR->>checkEditor(VE) do VE->>checkHideNewElement(IE,CR). %% %% changeApplied_changeFSketchObject(VE, CR: changeRequestor ):-> %gp3 0.2: changed to only update the relevant elements % VE->>update_visualisation, % VE->>mustUpdateVisualisation, VE->>updateElement(CR?arg1). %% %% changeApplied_deleteFSketchObject(VE, _CR:changeRequestor ):-> VE->>mustUpdateVisualisation. %gp3, changed this to update when all done %% %% changeApplied_newSketchStructuralRelation(VE, CR: changeRequestor):-> VE->>update_visualisation, CE = VE<<-findFirstElement(CR?result,sketchStructuralRelationVisualElement), VE->>checkHideNewElement(CE,CR), %gp3: make sure the element is visible if CR->>checkEditor(VE) then VE?client->>normalise(CE). %% %% changeApplied_changeSketchStructuralRelation(VE, _CR: changeRequestor):-> VE->>mustUpdateVisualisation. %% %% changeApplied_deleteSketchStructuralRelation(VE, _CR: changeRequestor):-> % VE->>deleteUnusedDefs, VE->>update_visualisation. % VE->>mustUpdateVisualisation. %% % deleteUnusedDefs(VE):-> % Delete relation defs which are not used anymore get(@model, sketchStructuralRelationDefinitions, RelDefs), send(RelDefs, for_some, message(VE, deleteUnusedDef, @arg1) ). %% % deleteUnusedDef(VE, RelDef):-> % if there is another sketch structural relation using the same relation definition if ( Configs = VE?sketch<<-findElements(sketchStructuralRelationElement), % or relation? AB, feb 2006 chain_list(Configs, CList), member(C, CList), get(C, hypered, definition, RelDef2), RelDef2->>equal(RelDef) ) then % no need to do delete true else ( if ( % if RelDef was built in - then don't delete % tricky method to find out - look in remarks field for 'built in' get(RelDef?remarks, value, RemarksStr), sub_string(RemarksStr, _Start, _End, _After, 'built in') ) then % no need to do delete true else % delete the RelationDef @model->>changeRequest(deleteSketchStructuralRelationDef, @model, VE, RelDef) ). %% %% changeApplied_changeSketchStructuralRelationDef(VE, _CR:changeRequestor):-> VE->>mustUpdateVisualisation. %% %% %%de algemene changeApplied gebruiken we voor het bijwerken van de info %%over de structuurregel changeApplied(VE, _CR: changeRequestor):-> VE->>label(VE?makeWindowLabel). %% changeTreeApplied(VE):-> %changeTreeApplied(VE, % _CR: changeRequestor):-> %gp3 0.2: instead of using changeApplied, we update the window label only %after a whole changeTree is applied. Still not very efficient, but its a fast %call %when mustUpdateVisualisation is set (a changeAppled_... call wants to do this) %we redraw all contents VE->>label(VE?makeWindowLabel), if @on = VE<<-slot(mustUpdateVisualisation) then ( VE->>update_visualisation, VE->>slot(mustUpdateVisualisation,@off) ). %% /***********DISPLAY NIEUWE OBJECTEN***********************/ %% mustUpdateVisualisation(VE):-> %gp3 0.2: set the flag that the next changeTreeApplied call should call update_visualisation VE->>slot(mustUpdateVisualisation,@on). %% %% update_visualisation(VE, SkipSaveLayout: [bool]):-> "Update the current sketch view" :: %gp3: this is the old homer update_visualisation code %gp3 0.4.6 added a flag SkipSaveLayout: @on means that we do not save the layout first (as in: never drawn before (in this window), or reposition elements). Default: @off /* Algemene herteken code: checkt welke onderdelen bijgetekend moeten worden, en welke onderdelen juist weg moeten (omdat ze niet meer voorkomen). Deze code kan dus na een update aangeroepen worden (niet efficient, wel heel praktisch). */ %gp3: this is old code, we like to do this much more efficient UpdatedElements *= chain, %bevat alle visuele elementen die niet weg moeten, alle overige kunnen na de update weg %gp3 0.4.6: because of routemapping a lot of elements get recreated in the process of drawing %to make sure positions stay the same, we have to save the layout info (but only if we are redrawing) unless SkipSaveLayout == @on do VE->>saveLayoutInfo, VE->>draw_structure(VE?sketch,new(chain), @nil, normal, UpdatedElements), %alle elementen die zich niet in UpdatedElements bevinden kunnen nu weg VE?client?graphicals->>for_all(if( and( ->>(@arg1,instance_of,sketchVisualElement), not(->>(UpdatedElements,member,@arg1)) ), ->>(@arg1,destroy) )). %% %% draw_structure(VE, Sketch: sketch, Route: chain, %de route waarmee een getekend element terug gevonden kan worden. Bestaat uit importedSketch objecten %lege route betekent dat het element zich in het huidige sketch bevindt ContainedSketchElement: 'importedMFElement*', %waaraan dus de instanties zich moeten koppelen State: {normal,imported,parent}, % ShowSubMFSymbols: bool, UpdatedElements: chain, RM: [chain] ):-> %helper bij update_visualisation %herteken een sketch, dit kan het bewerkte sketch zelf zijn of %een sketch dat daarin hoort (parent of imported) %checkt bij elk element of het niet al gevisualiseerd is %stopt alle nieuwe en relevante visuele elementen in UpdatedElements %do not use default/3 with new(..), because this will not evaluate directly %but each time the Var is used... if RM = @default then RouteMapping *= chain else RouteMapping = RM, %SKETCHOBJECTS %@pce->>write_ln(Sketch?name,': SketchObjects'), ?(Sketch,findElements,sketchObjectElement)->>for_all( ->>(UpdatedElements,append, ?(VE, displaySketchObject, @arg1, Route, ContainedSketchElement, State))), %@pce->>write_ln(Sketch?name,': SketchStructuralRelations'), %STRUCTURALRELATIONS Configs = Sketch<<-findElements(sketchStructuralRelationElement), Configs->>for_all( ->>(UpdatedElements,append, ?(VE, displaySketchStructuralRelation, @arg1, Route, ContainedSketchElement, State, UpdatedElements,RouteMapping))). %% % routeMapping(VE,RouteMap: chain, RoutePart1: chain, RoutePart2: [chain], NewFullRoute: chain):<- %gp3 0.3 % %look in the routemapping chain for mappings of old routes to new (refined) routes, and return the newFullRoute part % %for reasoning about refiners, RoutePart1 and RoutePart2 are merged %this is just for convenience in calling %the returned route is always a full one. This is needed because %mapping of routes may change even the first part (when our sketch %refines something) % %we do this recursively to get mapping on mapping when there is refinement on refinement FullRoute = RoutePart1<<-copy, unless RoutePart2 = @default do FullRoute->>merge(RoutePart2), if Found = RouteMap<<-find(->>(FullRoute,is_head,@arg1?first)) then ( %recursive call. %new elementroute is the found route %with the non-mapped part of the old route at the back NewCheckRoute = Found?second<<-copy, RestElementRoute = FullRoute<<-sub(Found?first?size), NewCheckRoute->>merge(RestElementRoute), NewFullRoute = VE<<-routeMapping(RouteMap,NewCheckRoute) %try again with new route, add extras at the back ) else NewFullRoute = FullRoute<<-copy, unless FullRoute->>equal(NewFullRoute) do ( @pce->>write('Routemapping:\noud='), FullRoute->>for_all(->>(@pce,write,' ',@arg1,'=',@arg1?name)), @pce->>write('\nnieuw='), NewFullRoute->>for_all(->>(@pce,write,' ',@arg1,'=',@arg1?name)), @pce->>write_ln ). %% %% displaySketchObject(VE, I : sketchObjectElement, Route: chain, IMF: 'importedMFElement*', SketchState: '[{normal,parent,imported}]', IE: sketchObjectVisualElement % or shouldn't this be changed? AB, feb 2006 % IE: instanceElement ):<- "Display this sketchObject" :: %we maken het instance element en melden hoe ie afgebeeld moet worden %ook sturen we ons sketch mee, zodat eventueel opgeslagen lay-out info %opgehaald wordt. Het element wordt dan meteen afgebeeld. %wanneer er een importedMFElement is meegestuurd wordt de instance daar een sub van %sub van geïmporteerd fragment? default(IMF,@nil,RC), ( ( IE = VE<<-findElement(I,sketchObjectVisualElement,Route), % IE = VE<<-findElement(I,instanceElement,Route), ignore(IE->>updateDisplay) ) ; ( %gp3 0.4.11: we do not send a point for placement, but only the IMF %when this is @nil , placement will be according to visibleSub strategy %otherwise we use 'spot' with a default startingpoint %gp3 1.0: super element now standard argument in visualElement IE *= sketchObjectVisualElement(VE?sketch, I, VE?client, RC, SketchState,Route), VE->>registerElement(IE) ) ), if RC \== @nil then RC->>connectSub(IE). %% %% displaySketchStructuralRelation(VE, C: sketchStructuralRelationElement, Route: chain, _IMF: '[importedMFElement*]', FS: '[{normal,parent,imported}]', UpdatedElements: chain, RouteMap: chain, CE: sketchStructuralRelationVisualElement):<- "Display this sketchStructuralRelation" :: %argumenten vinden Arg1 = C<<-argument1, Arg2 = C<<-argument2, Arg1R = VE<<-routeMapping(RouteMap,Route,C?argument1Route), %gives full route Arg2R = VE<<-routeMapping(RouteMap,Route,C?argument2Route), if Arg1 = @nil then Arg1El = @default else Arg1El = VE<<-findElement(Arg1,sketchObjectVisualElement,Arg1R,@default,UpdatedElements), if Arg2 = @nil then Arg2El = @default else Arg2El = VE<<-findElement(Arg2,sketchObjectVisualElement,Arg2R,@default,UpdatedElements), ( ( CE = VE<<-findElement(C,sketchStructuralRelationVisualElement,Route), ignore(CE->>setArguments(Arg1El,Arg2El)) %doet ook updateDisplay ) ; ( CE *= sketchStructuralRelationVisualElement(VE?sketch, C, VE?client, Arg1El,Arg2El,FS,Route), %punt wordt door relatie bepaald VE->>registerElement(CE) ) ). %% %% registerElement(VE, Element: graphical ):-> "Init a new element for display (add gestures)" :: %Gebruikt bij het aanmaken van elementen in deze klasse, maar ook als callback %bij subklassen van sketchVisualElement als er interne subelementen worden aangemaakt %(zoals qsElement en dqsElement doen met qsValueElement en dqsValueElement) Element->>recogniser(VE?contextMenu), %voor de andere muisakties, anders werkt de dubbelklik niet Element->>recogniser(VE?moveSelect), Element->>recogniser(VE?moveSelectSingle), %gp3 0.3 Element->>recogniser(VE?toggleSelect), Element->>recogniser(VE?toggleSelect_alternative), VE->>hyper(Element,element). %info dat ie er bij hoort %% /******************** UPDATE BY ELEMENT ************/ %gp3 code to try and make updates etc more efficient %% updateElement(VE, SketchElement: sketchElement):-> %gp3 0.2: send all sketchVisualElements displaying this element the updateDisplay message %does not work very well, especially for sketchStructuralRelations, so we do not use it often ?(VE,findElements,SketchElement)->>for_all( if( ->>(@arg1,instance_of,sketchVisualElement), ->>(@arg1,updateDisplay) ) ). %% %% removeElement(VE, SketchElement: sketchElement):-> %gp3 0.2: delete all sketchVisualElements displaying this element the delete message %no recursive calling over subs, so we need to call for every sub %problem is that this is even less efficient than a whole update %so we use mustUpdateVisualisation for subchanges, and do the update %on changeTreeAppled ?(VE,findElements,SketchElement)->>for_all( if( ->>(@arg1,instance_of,sketchVisualElement), ->>(@arg1,destroy))). %% %% /******************** MULTIPLE MODELS ***********************/ %JL /* Make the right model active */ input_focus(T, Boolean) :-> send(@app, selectCorrectTab, T), % T is the window object (of the editor) send_super(T, input_focus, Boolean). /********************HELPERS***********************/ %% findElement(VE, SketchElement : any, ClassName : name, Route: route = [chain], ImportedRoute: importedRoute = [chain], UpdatedElements: updated = [chain], Element : sketchVisualElement):<- "Finds the first visual element visualising the sketch element" :: %Route is een gedeelte van de route en ImportedRoute een ander gedeelte %wanneer een object bijvoorbeeld zelf route [a,b,c] heeft en verwijst naar %een object met route [d], dan is die verwijzing [d] gezien vanaf de oorspronkelijke %route [a,b,c]. We vinden het tweede object dan dus op route [a,b,c,d] %om niet overal merge te hoeven gebruiken doen we dat hier %MET ROUTE! %gp3 0.3: added UpdatedElements argument, when given, these elements %are the only ones searches. When not given, all elements are searched %also the ones that will be removed after an update. default(Route,new(chain),DRoute), default(ImportedRoute,new(chain),DImportedRoute), RRoute = DRoute<<-merge(DImportedRoute), default(UpdatedElements,VE?client?graphicals,Elements), Element = Elements<<-find( and(@arg1?name == ClassName, @arg1?sketchElement == SketchElement, ->>(@arg1?route,equal,RRoute))). %% %% findElements(VE, SketchElement: any, ClassName: [name], Elements: chain):<- %geef chain van alle elementen die op de een of andere wijze een bepaald object visualiseren %eventueel alleen op classnaam All = VE?elements<<-find_all(@arg1?sketchElement == SketchElement), if ClassName == @default then Elements = All else Elements = All<<-find_all(@arg1?name == ClassName). %% %% findFirstElement(VE, SketchElement: any, ClassName: [name], Element: graphical):<- %als findElements, maar geeft maar één element terug (eerstgevonden) %en alleen sketchVisualElement subs Element = VE?client?graphicals<<-find(and( ->>(@arg1,instance_of,sketchVisualElement), @arg1?sketchElement == SketchElement, or( ClassName == @default, @arg1?name == ClassName ))). %% %% elements(VE, E: chain):<- "Return all sketchVisualElements" :: E = VE<<-all_named_hypered(element). %% %% topElements(VE, TE: chain):<- "Return all sketchVisualElements that have no super" :: TE = VE?elements<<-find_all(not(@arg1?super)). %% %% makeWindowLabel(VE, Label2 : name) :<- "Internal: create caption" :: catch(get(VE?sketch, savedSketchName, SavedSketchName), _, fail), if @nil = SavedSketchName then ( Label *= string('Structure Editor - Sketch') ) else ( get(SavedSketchName, value, Str), swritef(Label, 'Structure Editor - Sketch - %w', [Str]) ), get(@model, getModelNameForEditor, Label?value, Label2). %% % updateWindowLabel(VE):-> "Internal: update caption" :: get(VE, makeWindowLabel, Label), send(VE, label, Label). %% %% selection(VE, Selection : chain):<- "Returns the selection in a chain" :: Selection = VE?client<<-selection. %% %% singleSelection(VE, Element: graphical ):<- "Returns the single selection, fails if none or multi" :: Sel = VE<<-selection, 1 = Sel<<-size, Element = Sel<<-head, Sel->>done. %% %% checkHideNewElement(VE, E: sketchVisualElement, CR: changeRequestor):-> /*Bepaalt of een nieuw afgebeeld element hidden moet worden. Alleen na changeApplied. Er wordt van de hidden state van het nieuwe element afgebleven (dus zichtbaar) tenzij: De CR?editor niet deze editor is en het element een super heeft die verbergbare subs heeft die allemaal verborgen zijn en de super zelf zichtbaar is. */ if ( \+ CR->>checkEditor(VE), Sup = E<<-super, Subs = Sup<<-subs, \+ Subs->>empty, \+ Subs->>find(and( @arg1 \== E, ->>(@arg1,canHide), @arg1?hidden == @off)) ) then E->>setHidden(@on). %% %% /* checkEditorState: Een algemene call voor het checken op de editor state. Prototype: checkEditorState(VE,AllowedSketches,DisallowedSketches, AllowedSelectionTypes, AllowedCombinations) AllowedSketches: Een lijst met typen sketchen die mogen, of any (geen check) [processSketch,agentSketch] DisallowedSketches: Een lijst met typen sketchen die niet mogen, of any (geen check) [staticSketch] AllowedSelectionTypes: Een lijst met soorten selectie die mogen (none, single, multi of een aantal) of any (geen check) [none,multi] AllowedCombinations: Een lijst met daarin lijsten die aangeven wat mag ([Combination,...]) of any (geen check) Combination: [{elementtype|any}/{[State,...]|any},....] of [{elementtype|any},...]/{[State,...]|any} State: condition|consequence|imported|parent|fixed Voor AllowedSketches, DisallowedSketches, AllowedSelectionTypes en de Statelijst in AllowedCombinations geldt dat er geen lijst hoeft te worden gebruikt als het om maar één element gaat. Voorbeeld checkEditorState(VE,[processSketch,agentSketch],any,2, [[quantityElement/condition,quantityElement/any], [calculusElement,calculusElement]/[condition,imported]]). Deze call slaagt wanner: 1 Het bewerkte sketch een processSketch of agentSketch is 2 Er meer 2 elementen geselecteerd zijn 3 Er een conditionele quantity en nog een quantity is geselecteerd OF er twee conditionele of geimporteerde calculi zijn geselecteerd Los te gebruiken zijn ook checkES_Sketches, _DisallowedSketches, _Selection en _Combinations. */ checkEditorStateStructureEditor(VE, AllowedSketches, DisallowedSketches, AllowedSelectionTypes, AllowedCombinations):- checkES_SketchesStructureEditor(VE,AllowedSketches), checkES_DisallowedSketchesStructureEditor(VE,DisallowedSketches), checkES_SelectionStructureEditor(VE,AllowedSelectionTypes), checkES_CombinationsStructureEditor(VE,AllowedCombinations). % checkES_SketchesStructureEditor(_VE,any):-!. checkES_SketchesStructureEditor(VE,Allowed):- C = VE?sketch<<-currentType, member(C,Allowed). checkES_SketchesStructureEditor(VE,Allowed):- %geen lijst Allowed = VE?sketch<<-currentType. % checkES_DisallowedSketchesStructureEditor(_VE,any):-!. checkES_DisallowedSketchesStructureEditor(VE,Disallowed):- C = VE?sketch<<-currentType, \+ member(C,Disallowed), %lijst \+ Disallowed = C. %geen lijst % checkES_SelectionStructureEditor(_VE,any):-!. checkES_SelectionStructureEditor(VE,Selection):- N = VE?client?selection<<-size, checkES_SelectionNum(Selection,N). % checkES_SelectionNumStructureEditor(Selection,0):- ( member(none,Selection) ; Selection = none ),!. checkES_SelectionNumStructureEditor(Selection,1):- ( member(single,Selection) ; Selection = single ),!. checkES_SelectionNumStructureEditor(Selection,N):- N > 1, ( member(multi,Selection) ; Selection = multi ),!. checkES_SelectionNumStructureEditor(Selection,N):- ( member(N,Selection) ; Selection = N ). % checkES_CombinationsStructureEditor(_VE,any):-!. checkES_CombinationsStructureEditor(VE,Combinations):- SelChain = VE?client<<-selection, chain_list(SelChain,Selection), checkES_SelCombination(Selection,Combinations). % checkES_SelCombinationStructureEditor(Selection,[First/GeneralState|_Rest]):- checkES_makeSpecificStateStructureEditor(First,GeneralState,Specific), checkES_checkCombinationStructureEditor(Selection,Specific),!. checkES_SelCombinationStructureEditor(Selection,[First|_Rest]):- checkES_checkCombinationStructureEditor(Selection,First),!. checkES_SelCombinationStructureEditor(Selection,[_First|Rest]):- checkES_SelCombinationStructureEditor(Selection,Rest). % checkES_makeSpecificStateStructureEditor([],_GeneralState,[]). checkES_makeSpecificStateStructureEditor([First|Rest],GeneralState,[First/GeneralState|SpecificRest]):- checkES_makeSpecificState(Rest,GeneralState,SpecificRest). % checkES_checkCombinationStructureEditor(Selection,Combination):- %deze is lastig, er kunnen meerdere mappings op elk element van de combinatie %geprobeerd worden, dus dat moeten we eerst uitwerken checkES_makeAllCombinationsStructureEditor(Combination,AllCombinations), checkES_matchCombinationsStructureEditor(Selection,AllCombinations). % %bij het maken van de combinaties is de situatie met nog maar 1 element te gaan een speciaal geval %deze moet namelijk de basic combinaties bouwen %bij-effect: als state geen lijst is, dan wordt het dat hier checkES_makeAllCombinationsStructureEditor([One/[State]], [[One/State]]):-!. checkES_makeAllCombinationsStructureEditor([One/[State|States]],[[One/State]|Others]):-!, checkES_makeAllCombinationsStructureEditor([One/States],Others). checkES_makeAllCombinationsStructureEditor([One/State], [[One/State]]):-!. %ook /any %en de situatie voor de overige elementen: checkES_makeAllCombinationsStructureEditor([Element|Rest],Combinations):- checkES_makeAllCombinationsStructureEditor(Rest,RestCombinations), checkES_makeCombinationElementStructureEditor(Element,RestCombinations,Combinations). % checkES_makeCombinationElementStructureEditor(_El/[],_RestCombinations,[]):-!. checkES_makeCombinationElementStructureEditor(El/[State|States],CurrentCombinations,Combinations):-!, checkES_makeCombinationElementStructureEditor(El/States,CurrentCombinations,NewCombinations), checkES_appendElementStateStructureEditor(El,State,CurrentCombinations,NewCombinations,Combinations). checkES_makeCombinationElementStructureEditor(El/State,CurrentCombinations,Combinations):- %ook any checkES_appendElementStateStructureEditor(El,State,CurrentCombinations,[],Combinations). % checkES_appendElementStateStructureEditor(_El,_State,[], NewCombinations, NewCombinations). checkES_appendElementStateStructureEditor(El,State,[First|RestCombinations],AddedCombinations,Combinations):- checkES_appendElementStateStructureEditor(El,State,RestCombinations,[[El/State|First]|AddedCombinations], Combinations). % checkES_matchCombinationsStructureEditor(Selection,[First|_Rest]):- checkES_combinationSelectedStructureEditor(Selection,First),!. checkES_matchCombinationsStructureEditor(Selection,[_First|Rest]):- checkES_matchCombinationsStructureEditor(Selection,Rest). % checkES_combinationSelectedStructureEditor([],[]):-!. checkES_combinationSelectedStructureEditor(Selection,[Element/State|RestElements]):-!, select(SelElement,Selection,RestSelection), ( Element == any ; Element = SelElement<<-name ), ( State == any ; State = SelElement<<-state ), %1 gevonden, door met de rest checkES_combinationSelectedStructureEditor(RestSelection,RestElements). %% :-pce_end_class.