Example 11 with Context
use of de.prob.model.eventb.Context in project prob2 by bendisposto.
the class MachineXmlHandler method addExtendedContext.
private void addExtendedContext(final Attributes attributes) {
String source = attributes.getValue("org.eventb.core.scTarget");
String contextName = source.substring(source.lastIndexOf('#') + 1, source.length());
model.addRelationship(internalContext.getName(), contextName, ERefType.EXTENDS);
Context extended = (Context) model.getComponent(contextName);
extendedContexts.add(extended);
}
Also used :
Context(de.prob.model.eventb.Context)
Aggregations
Context (de.prob.model.eventb.Context)11
ArrayList (java.util.ArrayList)4
EventBMachine (de.prob.model.eventb.EventBMachine)3
TIdentifierLiteral (de.be4.eventbalg.core.parser.node.TIdentifierLiteral)2
ASeesModelClause (de.be4.classicalb.core.parser.node.ASeesModelClause)1
TIdentifierLiteral (de.be4.classicalb.core.parser.node.TIdentifierLiteral)1
ContextModifier (de.prob.model.eventb.ContextModifier)1
EventBConstant (de.prob.model.eventb.EventBConstant)1
EventBVariable (de.prob.model.eventb.EventBVariable)1
MachineModifier (de.prob.model.eventb.MachineModifier)1
Procedure (de.prob.model.eventb.algorithm.Procedure)1
AbstractElement (de.prob.model.representation.AbstractElement)1
Machine (de.prob.model.representation.Machine)1
ModelElementList (de.prob.model.representation.ModelElementList)1
