org.eclipse.opencert.sam.arg/model/ECore2GMF.eol

var cardinality=GmfGraph!Label.all.selectOne(r|r.name = 'AssertedInferenceLabelLabel');
cardinality.text='';



//set the text of identifier to bold
var idLabel = GmfGraph!Label.allInstances;
for(i in Sequence{0..idLabel.size()-1}){
	if(idLabel[i].name<>('ArgumentElementCitationIdentifierLabelFigure')){
		idLabel[i].font=new GmfGraph!BasicFont;
		idLabel[i].font.style=GmfGraph!FontStyle#BOLD;
	}
}


//modify the names of the tool groups and adding a new tool group
var objectsToolGroup=GmfTool!ToolGroup.all.selectOne(g|g.title="Objects");
objectsToolGroup.title="Argumentation core";
var choice =GmfTool!CreationTool.all.selectOne(g|g.title="Choice");
var connectionsToolGroup=GmfTool!ToolGroup.all.selectOne(g|g.title="Connections");
connectionsToolGroup.title="Argumentation relationships";
connectionsToolGroup.tools.add(choice);
var solvedBy =GmfTool!CreationTool.all.selectOne(g|g.title="SolvedBy");


var palette = GmfTool!Palette.all.selectOne(g|g.title="argPalette");
var nodesToolGroup := new GmfTool!ToolGroup;
nodesToolGroup.title="Argumentation modular extensions";
nodesToolGroup.collapsible := true;
var argumentModule =GmfTool!CreationTool.all.selectOne(g|g.title="ArgumentElementCitation");
var contract =GmfTool!CreationTool.all.selectOne(g|g.title="Agreement");
nodesToolGroup.tools.add(argumentModule);
nodesToolGroup.tools.add(contract);
palette.tools.add(nodesToolGroup);

//add the relatedDiagram in GmfMap
var relatedDiagram = GmfMap!NodeMapping.all.selectOne(g|g.domainMetaElement.name="ArgumentElementCitation");
var canvasMapping := GmfMap!CanvasMapping.all.first();
relatedDiagram.relatedDiagrams.add(canvasMapping);
relatedDiagram = GmfMap!NodeMapping.all.selectOne(g|g.domainMetaElement.name="Agreement");
relatedDiagram.relatedDiagrams.add(canvasMapping);
relatedDiagram = GmfMap!NodeMapping.all.selectOne(g|g.domainMetaElement.name="Argumentation");
relatedDiagram.relatedDiagrams.add(canvasMapping);

operation GmfTool!ToolGroup reorder(order : Sequence(String)) {
var reordered = new Sequence;
for (item in order) {
var tool = self.tools.selectOne(t|t.title = item);
if (tool.isDefined()) {
reordered.add(tool);
}
}
self.tools = reordered;
}