Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
io.ciera.tool.CoreTemplateRegistry Maven / Gradle / Ivy
package io.ciera.tool;
import io.ciera.runtime.summit.exceptions.XtumlException;
import io.ciera.runtime.summit.types.StringUtil;
import io.ciera.runtime.template.util.ITemplate;
import io.ciera.runtime.template.util.ITemplateRegistry;
import io.ciera.runtime.template.util.Template;
import io.ciera.tool.Core;
import io.ciera.tool.core.architecture.application.Application;
import io.ciera.tool.core.architecture.application.ComponentInstantiation;
import io.ciera.tool.core.architecture.classes.Attribute;
import io.ciera.tool.core.architecture.classes.AttributeAccessor;
import io.ciera.tool.core.architecture.classes.InstSet;
import io.ciera.tool.core.architecture.classes.InstanceSelector;
import io.ciera.tool.core.architecture.classes.ModelInst;
import io.ciera.tool.core.architecture.classes.Operation;
import io.ciera.tool.core.architecture.classes.SetSelector;
import io.ciera.tool.core.architecture.component.ComponentDefinition;
import io.ciera.tool.core.architecture.component.Function;
import io.ciera.tool.core.architecture.component.InstancePopulationSelector;
import io.ciera.tool.core.architecture.component.RelationshipPopulationSelector;
import io.ciera.tool.core.architecture.component.Utility;
import io.ciera.tool.core.architecture.component.UtilityFunction;
import io.ciera.tool.core.architecture.component.UtilityReference;
import io.ciera.tool.core.architecture.expression.BinaryOperation;
import io.ciera.tool.core.architecture.expression.ConstantReference;
import io.ciera.tool.core.architecture.expression.Creation;
import io.ciera.tool.core.architecture.expression.EnumeratorReference;
import io.ciera.tool.core.architecture.expression.EventCreation;
import io.ciera.tool.core.architecture.expression.Invocation;
import io.ciera.tool.core.architecture.expression.Literal;
import io.ciera.tool.core.architecture.expression.NamedReference;
import io.ciera.tool.core.architecture.expression.ParameterReference;
import io.ciera.tool.core.architecture.expression.Promotion;
import io.ciera.tool.core.architecture.expression.SelectFromInstances;
import io.ciera.tool.core.architecture.expression.SelectRelated;
import io.ciera.tool.core.architecture.expression.Selected;
import io.ciera.tool.core.architecture.expression.UnaryOperation;
import io.ciera.tool.core.architecture.expression.VariableReference;
import io.ciera.tool.core.architecture.expression.Where;
import io.ciera.tool.core.architecture.file.GeneralFile;
import io.ciera.tool.core.architecture.file.TypeImport;
import io.ciera.tool.core.architecture.interfaces.Iface;
import io.ciera.tool.core.architecture.interfaces.Message;
import io.ciera.tool.core.architecture.interfaces.Port;
import io.ciera.tool.core.architecture.interfaces.PortMessage;
import io.ciera.tool.core.architecture.invocable.CodeBlock;
import io.ciera.tool.core.architecture.relationship.ClassRelationship;
import io.ciera.tool.core.architecture.statemachine.Event;
import io.ciera.tool.core.architecture.statemachine.State;
import io.ciera.tool.core.architecture.statemachine.StateMachine;
import io.ciera.tool.core.architecture.statemachine.TransitionTableCell;
import io.ciera.tool.core.architecture.statement.Finalization;
import io.ciera.tool.core.architecture.statement.ForSmt;
import io.ciera.tool.core.architecture.statement.IfSmt;
import io.ciera.tool.core.architecture.statement.RelateSmt;
import io.ciera.tool.core.architecture.statement.UnrelateSmt;
import io.ciera.tool.core.architecture.type.EnumeratedType;
import io.ciera.tool.core.architecture.type.Enumerator;
import io.ciera.tool.core.architecture.type.UserDefinedType;
public class CoreTemplateRegistry implements ITemplateRegistry {
private Core population;
public CoreTemplateRegistry( Core population ) {
this.population = population;
}
@Override
public ITemplate getTemplate( String filename ) {
switch ( filename ) {
case "application/t.application.async.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String component_instantiations = (String)symbols[0];
String component_satisfactions = (String)symbols[1];
String imports = (String)symbols[2];
int num_component_instances = (int)symbols[3];
Application self = (Application)symbols[4];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( " implements IApplication {\n\n private IComponent[] components;\n private ApplicationExecutor executor;\n\n public " );
context().T().append( self.getName() );
context().T().append( "() {\n components = new IComponent[" );
context().T().append( context().T().sub( "t", num_component_instances ) );
context().T().append( "];\n }\n\n @Override\n public void setup( String[] args, ILogger logger ) {\n if ( null != logger ) {\n executor = new ApplicationExecutor(\"" );
context().T().append( self.getName() );
context().T().append( "Executor\", args, logger);\n }\n else {\n executor = new ApplicationExecutor(\"" );
context().T().append( self.getName() );
context().T().append( "Executor\", args);\n }\n" );
context().T().append( component_instantiations );
context().T().append( component_satisfactions );
context().T().append( " }\n\n @Override\n public void printVersions() {\n io.ciera.runtime.Version.printVersion();\n for ( IComponent c : components ) {\n System.out.printf(\"%s: %s (%s)\", c.getClass().getName(), c.getVersion(), c.getVersionDate());\n System.out.println();\n }\n }\n\n public void handleSignal(final String data) {\n final JSONObject msg = new JSONObject(data);\n final int index = msg.getInt(\"componentId\");\n final String portName = msg.getString(\"portName\");\n // load population\n try {\n if (null!= components[index].getDefaultLoader()) components[index].getDefaultLoader().load();\n } catch (XtumlException e) {/* fail silently */}\n IChangeLog changeLog = executor.performTransaction(new ReceivedMessageTask() {\n @Override\n public void run() throws XtumlException {\n // execute signal\n try {\n Method portAccessor = components[index].getClass().getMethod(portName);\n IPort port = (IPort)portAccessor.invoke(components[index]);\n port.deliver(Message.deserialize(msg.getJSONObject(\"message\").toString()));\n } catch (NoSuchMethodException | SecurityException | IllegalAccessException | IllegalArgumentException | InvocationTargetException e) {\n throw new XtumlException(\"Could not deliver message\");\n }\n }\n });\n // serialize population\n try {\n if (null!= components[index].getDefaultLoader()) components[index].getDefaultLoader().serialize(changeLog);\n } catch (XtumlException e) {/* fail silently */}\n }\n\n public void heartbeat() {\n // load population\n for ( IComponent c : components ) {\n try {\n if (null != c.getDefaultLoader()) c.getDefaultLoader().load();\n } catch (XtumlException e) {/* fail silently */}\n }\n // tick\n IChangeLog changeLog = executor.heartbeat();\n // serialize population\n for ( IComponent c : components ) {\n try {\n if (null != c.getDefaultLoader()) c.getDefaultLoader().serialize(changeLog);\n } catch (XtumlException e) {/* fail silently */}\n }\n }\n\n @Override\n public void initialize() {}\n\n @Override\n public void start() {}\n\n @Override\n public void stop() {}\n\n public static void main(String[] args) {\n " );
context().T().append( self.getName() );
context().T().append( " app = new " );
context().T().append( self.getName() );
context().T().append( "();\n app.setup(args, null);\n CommandLine cmd = new CommandLine(args);\n try {\n cmd.register_flag(\"v\", \"Print version\");\n cmd.register_flag(\"version\", \"Print version\");\n cmd.register_flag(\"heartbeat\", \"Check ticking timers\");\n cmd.register_value(\"signal\", \"signal_file\", \"File containing JSON signal data\", \"\", false);\n cmd.read_command_line();\n if (cmd.get_flag(\"v\") || cmd.get_flag(\"version\")) {\n app.printVersions();\n }\n else {\n if (cmd.get_flag(\"heartbeat\")) {\n app.heartbeat();\n }\n else if (!\"\".equals(cmd.get_value(\"signal\"))) {\n try {\n Scanner sc = new Scanner(new File(cmd.get_value(\"signal\")));\n String signalData = \"\";\n while (sc.hasNextLine()) signalData += sc.nextLine();\n sc.close();\n app.handleSignal(signalData);\n } catch (IOException e) {/* fail silently */}\n }\n }\n } catch (XtumlException e) {/* fail silently */}\n }\n\n}\n" );
}
};
case "application/t.application.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String component_getters = (String)symbols[0];
String component_instantiations = (String)symbols[1];
String component_satisfactions = (String)symbols[2];
String imports = (String)symbols[3];
int num_component_instances = (int)symbols[4];
int num_executors = (int)symbols[5];
Application self = (Application)symbols[6];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( " implements IApplication {\n\n private IComponent[] components;\n private ApplicationExecutor[] executors;\n\n public " );
context().T().append( self.getName() );
context().T().append( "() {\n components = new IComponent[" );
context().T().append( context().T().sub( "t", num_component_instances ) );
context().T().append( "];\n executors = new ApplicationExecutor[" );
context().T().append( context().T().sub( "t", num_executors ) );
context().T().append( "];\n }\n\n @Override\n public void run() {\n for (ApplicationExecutor executor : executors) {\n executor.run();\n }\n }\n\n @Override\n public void setup( String[] args, ILogger logger ) {\n for ( int i = 0; i < executors.length; i++ ) {\n if ( null != logger ) {\n executors[i] = new ApplicationExecutor( \"" );
context().T().append( self.getName() );
context().T().append( "Executor\" + i, args, logger );\n }\n else {\n executors[i] = new ApplicationExecutor( \"" );
context().T().append( self.getName() );
context().T().append( "Executor\" + i, args );\n }\n }\n" );
context().T().append( component_instantiations );
context().T().append( component_satisfactions );
context().T().append( " }\n\n" );
context().T().append( component_getters );
context().T().append( "\n @Override\n public void initialize() {\n for ( IComponent component : components ) {\n component.getRunContext().execute( new GenericExecutionTask() {\n @Override\n public void run() throws XtumlException {\n component.initialize();\n }\n });\n }\n }\n\n @Override\n public void start() {\n if (1 == executors.length) {\n executors[0].run();\n }\n else {\n for ( ApplicationExecutor executor : executors ) {\n executor.start();\n }\n }\n }\n\n @Override\n public void printVersions() {\n io.ciera.runtime.Version.printVersion();\n for ( IComponent c : components ) {\n System.out.printf(\"%s: %s (%s)\", c.getClass().getName(), c.getVersion(), c.getVersionDate());\n System.out.println();\n }\n }\n\n @Override\n public void stop() {\n for ( ApplicationExecutor executor : executors ) {\n executor.execute(new HaltExecutionTask());\n }\n }\n\n public static void main( String[] args ) {\n IApplication app = new " );
context().T().append( self.getName() );
context().T().append( "();\n app.setup( args, null );\n if ( Arrays.asList(args).contains(\"-v\") || Arrays.asList(args).contains(\"--version\") ) {\n app.printVersions();\n }\n else {\n app.initialize();\n app.start();\n }\n }\n\n}\n" );
}
};
case "application/t.componentinstantiation.getter.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
ComponentInstantiation self = (ComponentInstantiation)symbols[0];
context().T().append( " public " );
context().T().append( self.getComp_name() );
context().T().append( " " );
context().T().append( self.getComp_name() );
context().T().append( "() {\n return (" );
context().T().append( self.getComp_name() );
context().T().append( ")components[" );
context().T().append( self.getIndex() );
context().T().append( "];\n }\n" );
}
};
case "application/t.componentinstantiation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
ComponentInstantiation self = (ComponentInstantiation)symbols[0];
context().T().append( " components[" );
context().T().append( context().T().sub( "t", self.getIndex() ) );
context().T().append( "] = new " );
context().T().append( self.getComp_name() );
context().T().append( "(this, " );
if ( ( -1 == self.getExecutor_index() ) ) {
context().T().append( "executor" );
}
else {
context().T().append( "executors[" );
context().T().append( context().T().sub( "t", self.getExecutor_index() ) );
context().T().append( "]" );
}
context().T().append( ", " );
context().T().append( context().T().sub( "t", self.getIndex() ) );
context().T().append( ");\n" );
if ( ( self.getSimulated_time() ) ) {
if ( ( -1 == self.getExecutor_index() ) ) {
context().T().append( "executor" );
}
else {
context().T().append( "executors[" );
context().T().append( context().T().sub( "t", self.getExecutor_index() ) );
context().T().append( "]" );
}
context().T().append( " .enableSimulatedTime(true);\n" );
}
if ( ( StringUtil.inequality( "", self.getInstance_loading() ) ) ) {
context().T().append( " components[" );
context().T().append( self.getIndex() );
context().T().append( "].addLoader(\"" );
context().T().append( self.getInstance_loading() );
context().T().append( "\", new " );
context().T().append( self.getComp_name() );
context().T().append( self.getInstance_loading() );
context().T().append( "Loader((" );
context().T().append( self.getComp_name() );
context().T().append( ")components[" );
context().T().append( self.getIndex() );
context().T().append( "]));\n" );
}
}
};
case "application/t.satisfaction.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
int prov_comp_index = (int)symbols[0];
String prov_comp_name = (String)symbols[1];
String prov_port_name = (String)symbols[2];
int req_comp_index = (int)symbols[3];
String req_comp_name = (String)symbols[4];
String req_port_name = (String)symbols[5];
context().T().append( " ((" );
context().T().append( req_comp_name );
context().T().append( ")components[" );
context().T().append( req_comp_index );
context().T().append( "])." );
context().T().append( req_port_name );
context().T().append( "().satisfy(((" );
context().T().append( prov_comp_name );
context().T().append( ")components[" );
context().T().append( prov_comp_index );
context().T().append( "])." );
context().T().append( prov_port_name );
context().T().append( "());\n ((" );
context().T().append( prov_comp_name );
context().T().append( ")components[" );
context().T().append( prov_comp_index );
context().T().append( "])." );
context().T().append( prov_port_name );
context().T().append( "().satisfy(((" );
context().T().append( req_comp_name );
context().T().append( ")components[" );
context().T().append( req_comp_index );
context().T().append( "])." );
context().T().append( req_port_name );
context().T().append( "());\n" );
}
};
case "class/t.attribute.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
Attribute self = (Attribute)symbols[0];
context().T().append( " private " );
context().T().append( self.getType_name() );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( ";\n" );
}
};
case "class/t.attributeaccessor.empty.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean is_getter = (boolean)symbols[0];
String name = (String)symbols[1];
AttributeAccessor self = (AttributeAccessor)symbols[2];
String type_name = (String)symbols[3];
if ( ( is_getter ) ) {
context().T().append( " public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( name );
context().T().append( "() throws XtumlException {\n throw new EmptyInstanceException( \"Cannot get attribute of empty instance.\" );\n }\n" );
}
else {
context().T().append( " public void " );
context().T().append( name );
context().T().append( "( " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getAttribute_name() );
context().T().append( " ) throws XtumlException {\n throw new EmptyInstanceException( \"Cannot set attribute of empty instance.\" );\n }\n" );
}
}
};
case "class/t.attributeaccessor.int.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean is_getter = (boolean)symbols[0];
String name = (String)symbols[1];
AttributeAccessor self = (AttributeAccessor)symbols[2];
String type_name = (String)symbols[3];
if ( ( is_getter ) ) {
context().T().append( " public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( name );
context().T().append( "() throws XtumlException;\n" );
}
else {
context().T().append( " public void " );
context().T().append( name );
context().T().append( "( " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getAttribute_name() );
context().T().append( " ) throws XtumlException;\n" );
}
}
};
case "class/t.attributeaccessor.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String attribute_derivation = (String)symbols[0];
boolean is_getter = (boolean)symbols[1];
boolean is_string = (boolean)symbols[2];
String name = (String)symbols[3];
boolean primitive = (boolean)symbols[4];
String propagations = (String)symbols[5];
AttributeAccessor self = (AttributeAccessor)symbols[6];
String type_name = (String)symbols[7];
if ( ( is_getter ) ) {
context().T().append( " @Override\n public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( name );
context().T().append( "() throws XtumlException {\n checkLiving();\n " );
context().T().append( attribute_derivation );
context().T().append( " return " );
context().T().append( self.getAttribute_name() );
context().T().append( ";\n }\n" );
}
else {
context().T().append( " @Override\n public void " );
context().T().append( name );
context().T().append( "( " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getAttribute_name() );
context().T().append( " ) throws XtumlException {\n checkLiving();\n" );
if ( ( primitive ) ) {
context().T().append( " if ( " );
context().T().append( self.getAttribute_name() );
context().T().append( " != this." );
context().T().append( self.getAttribute_name() );
context().T().append( " ) {\n" );
}
else {
if ( ( is_string ) ) {
context().T().append( " if ( StringUtil.inequality( " );
context().T().append( self.getAttribute_name() );
context().T().append( ", this." );
context().T().append( self.getAttribute_name() );
context().T().append( " ) ) {\n" );
}
else {
context().T().append( " if ( " );
context().T().append( self.getAttribute_name() );
context().T().append( ".inequality( this." );
context().T().append( self.getAttribute_name() );
context().T().append( " ) ) {\n" );
}
}
context().T().append( " final " );
context().T().append( type_name );
context().T().append( " oldValue = this." );
context().T().append( self.getAttribute_name() );
context().T().append( ";\n this." );
context().T().append( self.getAttribute_name() );
context().T().append( " = " );
context().T().append( self.getAttribute_name() );
context().T().append( ";\n getRunContext().addChange(new AttributeChangedDelta(this, KEY_LETTERS, \"" );
context().T().append( self.getAttribute_name() );
context().T().append( "\", oldValue, this." );
context().T().append( self.getAttribute_name() );
context().T().append( "));\n" );
context().T().append( propagations );
context().T().append( " }\n }\n" );
}
}
};
case "class/t.attributeaccessor.set.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean is_getter = (boolean)symbols[0];
String name = (String)symbols[1];
AttributeAccessor self = (AttributeAccessor)symbols[2];
String type_name = (String)symbols[3];
if ( ( is_getter ) ) {
}
else {
context().T().append( " @Override\n public void " );
context().T().append( name );
context().T().append( "( " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getAttribute_name() );
context().T().append( " ) throws XtumlException {\n for ( " );
context().T().append( self.getClass_name() );
context().T().append( " " );
context().T().append( context().T().sub( "l", self.getClass_name() ) );
context().T().append( " : this ) " );
context().T().append( context().T().sub( "l", self.getClass_name() ) );
context().T().append( "." );
context().T().append( name );
context().T().append( "( " );
context().T().append( self.getAttribute_name() );
context().T().append( " );\n }\n" );
}
}
};
case "class/t.attributederivation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String body = (String)symbols[0];
context().T().append( body );
context().T().append( "" );
}
};
case "class/t.attributeinitializer.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String initializer = (String)symbols[0];
Attribute self = (Attribute)symbols[1];
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( " = " );
context().T().append( initializer );
context().T().append( ";\n" );
}
};
case "class/t.attributepropagation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String accessor_name = (String)symbols[0];
String attribute_name = (String)symbols[1];
String selector_name = (String)symbols[2];
context().T().append( " if ( !" );
context().T().append( selector_name );
context().T().append( "().isEmpty() ) " );
context().T().append( selector_name );
context().T().append( "()." );
context().T().append( accessor_name );
context().T().append( "( " );
context().T().append( attribute_name );
context().T().append( " );\n" );
}
};
case "class/t.class.impl.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String attribute_initializers = (String)symbols[0];
String attribute_initializers2 = (String)symbols[1];
String attribute_invocation_list = (String)symbols[2];
String attribute_list = (String)symbols[3];
String attributes = (String)symbols[4];
String empty_attributes = (String)symbols[5];
String empty_operations = (String)symbols[6];
String empty_selectors = (String)symbols[7];
String id1_attributes = (String)symbols[8];
String id2_attributes = (String)symbols[9];
String id3_attributes = (String)symbols[10];
String imports = (String)symbols[11];
String initial_state = (String)symbols[12];
String initial_state2 = (String)symbols[13];
String operations = (String)symbols[14];
String relationship_initializers = (String)symbols[15];
String selectors = (String)symbols[16];
ModelInst self = (ModelInst)symbols[17];
String state_machine_decl = (String)symbols[18];
String state_machine_events = (String)symbols[19];
String state_machine_initializer = (String)symbols[20];
String state_machine_initializer2 = (String)symbols[21];
String static_operations = (String)symbols[22];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ".impl;\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( "Impl extends " );
context().T().append( self.getExtends() );
context().T().append( " implements " );
context().T().append( self.getName() );
context().T().append( " {\n\n public static final String KEY_LETTERS = \"" );
context().T().append( self.getKey_letters() );
context().T().append( "\";\n public static final " );
context().T().append( self.getName() );
context().T().append( " EMPTY_" );
context().T().append( context().T().sub( "u_", self.getName() ) );
context().T().append( " = new Empty" );
context().T().append( self.getName() );
context().T().append( "();\n\n private " );
context().T().append( self.getComp_name() );
context().T().append( " context;\n\n // constructors\n private " );
context().T().append( self.getName() );
context().T().append( "Impl( " );
context().T().append( self.getComp_name() );
context().T().append( " context ) {\n this.context = context;\n" );
context().T().append( attribute_initializers );
context().T().append( relationship_initializers );
context().T().append( state_machine_initializer );
context().T().append( " }\n\n private " );
context().T().append( self.getName() );
context().T().append( "Impl( " );
context().T().append( self.getComp_name() );
context().T().append( " context, UniqueId instanceId" );
context().T().append( attribute_list );
context().T().append( initial_state );
context().T().append( " ) {\n super(instanceId);\n this.context = context;\n" );
context().T().append( attribute_initializers2 );
context().T().append( relationship_initializers );
context().T().append( state_machine_initializer2 );
context().T().append( " }\n\n public static " );
context().T().append( self.getName() );
context().T().append( " create( " );
context().T().append( self.getComp_name() );
context().T().append( " context ) throws XtumlException {\n " );
context().T().append( self.getName() );
context().T().append( " new" );
context().T().append( self.getName() );
context().T().append( " = new " );
context().T().append( self.getName() );
context().T().append( "Impl( context );\n if ( context.addInstance( new" );
context().T().append( self.getName() );
context().T().append( " ) ) {\n new" );
context().T().append( self.getName() );
context().T().append( ".getRunContext().addChange(new InstanceCreatedDelta(new" );
context().T().append( self.getName() );
context().T().append( ", KEY_LETTERS));\n return new" );
context().T().append( self.getName() );
context().T().append( ";\n }\n else throw new InstancePopulationException( \"Instance already exists within this population.\" );\n }\n\n public static " );
context().T().append( self.getName() );
context().T().append( " create( " );
context().T().append( self.getComp_name() );
context().T().append( " context, UniqueId instanceId" );
context().T().append( attribute_list );
context().T().append( initial_state );
context().T().append( " ) throws XtumlException {\n " );
context().T().append( self.getName() );
context().T().append( " new" );
context().T().append( self.getName() );
context().T().append( " = new " );
context().T().append( self.getName() );
context().T().append( "Impl( context, instanceId" );
context().T().append( attribute_invocation_list );
context().T().append( initial_state2 );
context().T().append( " );\n if ( context.addInstance( new" );
context().T().append( self.getName() );
context().T().append( " ) ) {\n return new" );
context().T().append( self.getName() );
context().T().append( ";\n }\n else throw new InstancePopulationException( \"Instance already exists within this population.\" );\n }\n\n" );
context().T().append( state_machine_decl );
context().T().append( "\n\n // attributes\n" );
context().T().append( attributes );
context().T().append( "\n\n // instance identifiers\n" );
if ( ( StringUtil.inequality( "", id1_attributes ) ) ) {
context().T().append( " @Override\n public IInstanceIdentifier getId1() {\n try {\n return new InstanceIdentifier(" );
context().T().append( id1_attributes );
context().T().append( ");\n }\n catch ( XtumlException e ) {\n getRunContext().getLog().error(e);\n System.exit(1);\n return null;\n }\n }\n" );
}
if ( ( StringUtil.inequality( "", id2_attributes ) ) ) {
context().T().append( " @Override\n public IInstanceIdentifier getId2() {\n try {\n return new InstanceIdentifier(" );
context().T().append( id2_attributes );
context().T().append( ");\n }\n catch ( XtumlException e ) {\n getRunContext().getLog().error(e);\n System.exit(1);\n return null;\n }\n }\n" );
}
if ( ( StringUtil.inequality( "", id3_attributes ) ) ) {
context().T().append( " @Override\n public IInstanceIdentifier getId3() {\n try {\n return new InstanceIdentifier(" );
context().T().append( id3_attributes );
context().T().append( ");\n }\n catch ( XtumlException e ) {\n getRunContext().getLog().error(e);\n System.exit(1);\n return null;\n }\n }\n" );
}
context().T().append( "\n // operations\n" );
context().T().append( operations );
context().T().append( "\n\n // static operations\n" );
context().T().append( static_operations );
context().T().append( "\n\n // events\n" );
context().T().append( state_machine_events );
context().T().append( "\n\n // selections\n" );
context().T().append( selectors );
context().T().append( "\n\n @Override\n public IRunContext getRunContext() {\n return context().getRunContext();\n }\n\n @Override\n public " );
context().T().append( self.getComp_name() );
context().T().append( " context() {\n return context;\n }\n\n @Override\n public String getKeyLetters() {\n return KEY_LETTERS;\n }\n\n @Override\n public " );
context().T().append( self.getName() );
context().T().append( " self() {\n return this;\n }\n\n @Override\n public " );
context().T().append( self.getName() );
context().T().append( " oneWhere(IWhere condition) throws XtumlException {\n if (null == condition) throw new XtumlException(\"Null condition passed to selection.\");\n if (condition.evaluate(this)) return this;\n else return EMPTY_" );
context().T().append( context().T().sub( "u_", self.getName() ) );
context().T().append( ";\n }\n\n}\n\nclass Empty" );
context().T().append( self.getName() );
context().T().append( " extends " );
context().T().append( self.getExtends() );
context().T().append( " implements " );
context().T().append( self.getName() );
context().T().append( " {\n\n // attributes\n" );
context().T().append( empty_attributes );
context().T().append( "\n\n // operations\n" );
context().T().append( empty_operations );
context().T().append( "\n\n // selections\n" );
context().T().append( empty_selectors );
context().T().append( "\n\n @Override\n public String getKeyLetters() {\n return " );
context().T().append( self.getName() );
context().T().append( "Impl.KEY_LETTERS;\n }\n\n @Override\n public " );
context().T().append( self.getName() );
context().T().append( " self() {\n return this;\n }\n\n @Override\n public boolean isEmpty() {\n return true;\n }\n\n @Override\n public " );
context().T().append( self.getName() );
context().T().append( " oneWhere(IWhere condition) throws XtumlException {\n if (null == condition) throw new XtumlException(\"Null condition passed to selection.\");\n return " );
context().T().append( self.getName() );
context().T().append( "Impl.EMPTY_" );
context().T().append( context().T().sub( "u_", self.getName() ) );
context().T().append( ";\n }\n\n}\n" );
}
};
case "class/t.class.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String attributes = (String)symbols[0];
String imports = (String)symbols[1];
String operations = (String)symbols[2];
String selectors = (String)symbols[3];
ModelInst self = (ModelInst)symbols[4];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic interface " );
context().T().append( self.getName() );
context().T().append( " extends IModelInstance<" );
context().T().append( self.getName() );
context().T().append( "," );
context().T().append( self.getComp_name() );
context().T().append( "> {\n\n // attributes\n" );
context().T().append( attributes );
context().T().append( "\n\n // operations\n" );
context().T().append( operations );
context().T().append( "\n\n // selections\n" );
context().T().append( selectors );
context().T().append( "\n\n}\n" );
}
};
case "class/t.classset.impl.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String attributes = (String)symbols[0];
String imports = (String)symbols[1];
String selectors = (String)symbols[2];
InstSet self = (InstSet)symbols[3];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ".impl;\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( "Impl extends " );
context().T().append( self.getExtends() );
context().T().append( " implements " );
context().T().append( self.getName() );
context().T().append( " {\n\n public " );
context().T().append( self.getName() );
context().T().append( "Impl() {\n }\n\n public " );
context().T().append( self.getName() );
context().T().append( "Impl(Comparator comp) {\n super(comp);\n }\n\n // attributes\n" );
context().T().append( attributes );
context().T().append( "\n\n // selections\n" );
context().T().append( selectors );
context().T().append( "\n\n @Override\n public " );
context().T().append( self.getClass_name() );
context().T().append( " nullElement() {\n return " );
context().T().append( self.getClass_name() );
context().T().append( "Impl.EMPTY_" );
context().T().append( context().T().sub( "u_", self.getClass_name() ) );
context().T().append( ";\n }\n\n @Override\n public " );
context().T().append( self.getName() );
context().T().append( " emptySet() {\n return new " );
context().T().append( self.getName() );
context().T().append( "Impl();\n }\n\n @Override\n public " );
context().T().append( self.getName() );
context().T().append( " emptySet(Comparator comp) {\n return new " );
context().T().append( self.getName() );
context().T().append( "Impl(comp);\n }\n\n @Override\n public List<" );
context().T().append( self.getClass_name() );
context().T().append( "> elements() {\n" );
if ( ( StringUtil.inequality( "", self.getComparator() ) ) ) {
context().T().append( " " );
context().T().append( self.getClass_name() );
context().T().append( "[] elements = toArray(new " );
context().T().append( self.getClass_name() );
context().T().append( "[0]);\n Arrays.sort(elements, (a, b) -> {\n try {\n return a." );
context().T().append( self.getComparator() );
context().T().append( "().compareTo(b." );
context().T().append( self.getComparator() );
context().T().append( "());\n } catch (XtumlException e) { return 0; }\n });\n return Arrays.asList(elements);\n" );
}
else {
context().T().append( " return Arrays.asList(toArray(new " );
context().T().append( self.getClass_name() );
context().T().append( "[0]));\n" );
}
context().T().append( " }\n\n}\n" );
}
};
case "class/t.classset.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String attributes = (String)symbols[0];
String imports = (String)symbols[1];
String selectors = (String)symbols[2];
InstSet self = (InstSet)symbols[3];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic interface " );
context().T().append( self.getName() );
context().T().append( " extends IInstanceSet<" );
context().T().append( self.getName() );
context().T().append( "," );
context().T().append( self.getClass_name() );
context().T().append( "> {\n\n // attributes\n" );
context().T().append( attributes );
context().T().append( "\n\n // selections\n" );
context().T().append( selectors );
context().T().append( "\n\n}\n" );
}
};
case "class/t.instanceselector.empty.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean multiplicity_many = (boolean)symbols[0];
InstanceSelector self = (InstanceSelector)symbols[1];
String type_name = (String)symbols[2];
if ( ( multiplicity_many ) ) {
context().T().append( " @Override\n public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "() {\n return (new " );
context().T().append( type_name );
context().T().append( "Impl());\n }\n" );
}
else {
context().T().append( " @Override\n public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "() {\n return " );
context().T().append( type_name );
context().T().append( "Impl.EMPTY_" );
context().T().append( context().T().sub( "u_", type_name ) );
context().T().append( ";\n }\n" );
}
}
};
case "class/t.instanceselector.int.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String inst_type_name = (String)symbols[0];
boolean multiplicity_many = (boolean)symbols[1];
InstanceSelector self = (InstanceSelector)symbols[2];
String type_name = (String)symbols[3];
if ( ( multiplicity_many ) ) {
context().T().append( " default public void add" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( inst_type_name );
context().T().append( " inst ) {}\n default public void remove" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( inst_type_name );
context().T().append( " inst ) {}\n" );
}
else {
context().T().append( " default public void set" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( inst_type_name );
context().T().append( " inst ) {}\n" );
}
context().T().append( " public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "() throws XtumlException;\n" );
}
};
case "class/t.instanceselector.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String inst_type_name = (String)symbols[0];
boolean multiplicity_many = (boolean)symbols[1];
InstanceSelector self = (InstanceSelector)symbols[2];
String type_name = (String)symbols[3];
if ( ( multiplicity_many ) ) {
context().T().append( " private " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "_set;\n @Override\n public void add" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( inst_type_name );
context().T().append( " inst ) {\n " );
context().T().append( self.getName() );
context().T().append( "_set.add(inst);\n }\n @Override\n public void remove" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( inst_type_name );
context().T().append( " inst ) {\n " );
context().T().append( self.getName() );
context().T().append( "_set.remove(inst);\n }\n" );
}
else {
context().T().append( " private " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "_inst;\n @Override\n public void set" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( inst_type_name );
context().T().append( " inst ) {\n " );
context().T().append( self.getName() );
context().T().append( "_inst = inst;\n }\n" );
}
context().T().append( " @Override\n public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "() throws XtumlException {\n" );
if ( ( multiplicity_many ) ) {
context().T().append( " return " );
context().T().append( self.getName() );
context().T().append( "_set;\n" );
}
else {
context().T().append( " return " );
context().T().append( self.getName() );
context().T().append( "_inst;\n" );
}
context().T().append( " }\n" );
}
};
case "class/t.operation.empty.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String modifiers = (String)symbols[0];
String parameter_list = (String)symbols[1];
Operation self = (Operation)symbols[2];
String type_name = (String)symbols[3];
context().T().append( " public " );
context().T().append( modifiers );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException {\n throw new EmptyInstanceException( \"Cannot invoke operation on empty instance.\" );\n }\n" );
}
};
case "class/t.operation.int.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String modifiers = (String)symbols[0];
String parameter_list = (String)symbols[1];
Operation self = (Operation)symbols[2];
String type_name = (String)symbols[3];
context().T().append( " public " );
context().T().append( modifiers );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException;\n" );
}
};
case "class/t.operation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String body = (String)symbols[0];
String modifiers = (String)symbols[1];
String parameter_list = (String)symbols[2];
Operation self = (Operation)symbols[3];
String type_name = (String)symbols[4];
if ( ( !self.getIs_class_based() ) ) {
context().T().append( " @Override\n public " );
context().T().append( modifiers );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException " );
context().T().append( body );
context().T().append( "\n" );
}
else {
context().T().append( " public " );
context().T().append( modifiers );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException " );
context().T().append( body );
context().T().append( "\n" );
}
}
};
case "class/t.operations.static.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String operations = (String)symbols[0];
ModelInst self = (ModelInst)symbols[1];
context().T().append( " public static class CLASS extends ActionHome<" );
context().T().append( self.getComp_name() );
context().T().append( "> {\n\n public CLASS( " );
context().T().append( self.getComp_name() );
context().T().append( " context ) {\n super( context );\n }\n\n" );
context().T().append( operations );
context().T().append( "\n\n }\n" );
}
};
case "class/t.setselector.int.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
SetSelector self = (SetSelector)symbols[0];
String type_name = (String)symbols[1];
context().T().append( " public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "() throws XtumlException;\n" );
}
};
case "class/t.setselector.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean multiplicity_many = (boolean)symbols[0];
SetSelector self = (SetSelector)symbols[1];
String type_name = (String)symbols[2];
context().T().append( " @Override\n public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "() throws XtumlException {\n " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( context().T().sub( "l", type_name ) );
context().T().append( " = new " );
context().T().append( type_name );
context().T().append( "Impl();\n for ( " );
context().T().append( self.getSelector_class_name() );
context().T().append( " " );
context().T().append( context().T().sub( "l", self.getSelector_class_name() ) );
context().T().append( " : this ) " );
context().T().append( context().T().sub( "l", type_name ) );
context().T().append( ".add" );
if ( ( multiplicity_many ) ) {
context().T().append( "All" );
}
context().T().append( "( " );
context().T().append( context().T().sub( "l", self.getSelector_class_name() ) );
context().T().append( "." );
context().T().append( self.getSelector_name() );
context().T().append( "() );\n return " );
context().T().append( context().T().sub( "l", type_name ) );
context().T().append( ";\n }\n" );
}
};
case "component/t.componentdefinition.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String class_directory = (String)symbols[0];
String functions = (String)symbols[1];
String imports = (String)symbols[2];
String init = (String)symbols[3];
String instance_adds = (String)symbols[4];
String instance_extent_initializers = (String)symbols[5];
String instance_removes = (String)symbols[6];
String instance_selectors = (String)symbols[7];
String ports = (String)symbols[8];
String relationship_extent_initializers = (String)symbols[9];
String relationship_modifiers = (String)symbols[10];
String relationship_selectors = (String)symbols[11];
ComponentDefinition self = (ComponentDefinition)symbols[12];
String utilities = (String)symbols[13];
String utility_initializers = (String)symbols[14];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( " extends " );
context().T().append( self.getExtends() );
context().T().append( " {\n\n private Map> classDirectory;\n\n public " );
context().T().append( self.getName() );
context().T().append( "(IApplication app, IRunContext runContext, int populationId) {\n super(app, runContext, populationId);\n" );
context().T().append( instance_extent_initializers );
context().T().append( "\n" );
context().T().append( relationship_extent_initializers );
context().T().append( "\n" );
context().T().append( utility_initializers );
context().T().append( "\n classDirectory = new TreeMap<>();\n" );
context().T().append( class_directory );
context().T().append( "\n }\n\n // domain functions\n" );
context().T().append( functions );
context().T().append( "\n\n // relates and unrelates\n" );
context().T().append( relationship_modifiers );
context().T().append( "\n\n // instance selections\n" );
context().T().append( instance_selectors );
context().T().append( "\n\n // relationship selections\n" );
context().T().append( relationship_selectors );
context().T().append( "\n\n // ports\n" );
context().T().append( ports );
context().T().append( "\n\n // utilities\n" );
context().T().append( utilities );
context().T().append( "\n\n // component initialization function\n @Override\n public void initialize() throws XtumlException {\n" );
context().T().append( init );
context().T().append( "\n }\n\n" );
if ( ( StringUtil.inequality( "", self.getVersion() ) ) ) {
context().T().append( " @Override\n public String getVersion() {\n Properties prop = new Properties();\n try {\n prop.load(getClass().getResourceAsStream(\"" );
context().T().append( self.getName() );
context().T().append( "Properties.properties\"));\n } catch (IOException e) { /* do nothing */ }\n return prop.getProperty(\"version\", \"Unknown\");\n }\n" );
}
if ( ( StringUtil.inequality( "", self.getVersion_date() ) ) ) {
context().T().append( " @Override\n public String getVersionDate() {\n Properties prop = new Properties();\n try {\n prop.load(getClass().getResourceAsStream(\"" );
context().T().append( self.getName() );
context().T().append( "Properties.properties\"));\n } catch (IOException e) { /* do nothing */ }\n return prop.getProperty(\"version_date\", \"Unknown\");\n }\n" );
}
context().T().append( "\n @Override\n public boolean addInstance( IModelInstance instance ) throws XtumlException {\n if ( null == instance ) throw new BadArgumentException( \"Null instance passed.\" );\n if ( instance.isEmpty() ) throw new EmptyInstanceException( \"Cannot add empty instance to population.\" );\n" );
context().T().append( instance_adds );
context().T().append( "\n return false;\n }\n\n @Override\n public boolean removeInstance( IModelInstance instance ) throws XtumlException {\n if ( null == instance ) throw new BadArgumentException( \"Null instance passed.\" );\n if ( instance.isEmpty() ) throw new EmptyInstanceException( \"Cannot remove empty instance from population.\" );\n" );
context().T().append( instance_removes );
context().T().append( "\n return false;\n }\n\n @Override\n public " );
context().T().append( self.getName() );
context().T().append( " context() {\n return this;\n }\n\n @Override\n public Class getClassByKeyLetters(String keyLetters) {\n return classDirectory.get(keyLetters);\n }\n\n}\n" );
}
};
case "component/t.function.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String body = (String)symbols[0];
String parameter_list = (String)symbols[1];
Function self = (Function)symbols[2];
String type_name = (String)symbols[3];
context().T().append( " public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException " );
context().T().append( body );
context().T().append( "\n" );
}
};
case "component/t.instancepopulationselector.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
InstancePopulationSelector self = (InstancePopulationSelector)symbols[0];
String set_name = (String)symbols[1];
context().T().append( " private " );
context().T().append( set_name );
context().T().append( " " );
context().T().append( self.getClass_name() );
context().T().append( "_extent;\n public " );
context().T().append( set_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "() {\n return " );
context().T().append( self.getClass_name() );
context().T().append( "_extent;\n }\n" );
}
};
case "component/t.relationshippopulationselector.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
RelationshipPopulationSelector self = (RelationshipPopulationSelector)symbols[0];
context().T().append( " private IRelationshipSet " );
context().T().append( self.getRel_name() );
context().T().append( "_extent;\n public IRelationshipSet " );
context().T().append( self.getName() );
context().T().append( "() throws XtumlException {\n return " );
context().T().append( self.getRel_name() );
context().T().append( "_extent;\n }\n" );
}
};
case "component/t.utility.impl.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String imports = (String)symbols[0];
Utility self = (Utility)symbols[1];
String utility_functions = (String)symbols[2];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ".impl;\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( "Impl> extends Utility implements " );
context().T().append( self.getName() );
context().T().append( " {\n\n public " );
context().T().append( self.getName() );
context().T().append( "Impl( C context ) {\n super( context );\n }\n\n" );
context().T().append( utility_functions );
context().T().append( "\n\n}\n" );
}
};
case "component/t.utility.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String imports = (String)symbols[0];
Utility self = (Utility)symbols[1];
String utility_functions = (String)symbols[2];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic interface " );
context().T().append( self.getName() );
context().T().append( " {\n\n" );
context().T().append( utility_functions );
context().T().append( "\n\n}\n" );
}
};
case "component/t.utilityfunction.int.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String parameter_list = (String)symbols[0];
UtilityFunction self = (UtilityFunction)symbols[1];
String type_name = (String)symbols[2];
context().T().append( " public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ");\n" );
}
};
case "component/t.utilityfunction.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String body = (String)symbols[0];
String parameter_list = (String)symbols[1];
UtilityFunction self = (UtilityFunction)symbols[2];
String type_name = (String)symbols[3];
context().T().append( " public " );
context().T().append( type_name );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") " );
context().T().append( body );
context().T().append( "\n" );
}
};
case "component/t.utilityreference.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
UtilityReference self = (UtilityReference)symbols[0];
context().T().append( " private " );
context().T().append( self.getUtility_name() );
context().T().append( " " );
context().T().append( self.getUtility_name() );
context().T().append( ";\n public " );
context().T().append( self.getUtility_name() );
context().T().append( " " );
context().T().append( self.getUtility_name() );
context().T().append( "() {\n if ( null == " );
context().T().append( self.getUtility_name() );
context().T().append( " ) " );
context().T().append( self.getUtility_name() );
context().T().append( " = new " );
context().T().append( self.getUtility_name() );
context().T().append( "Impl<>( this );\n return " );
context().T().append( self.getUtility_name() );
context().T().append( ";\n }\n" );
}
};
case "component/t.version.properties":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
ComponentDefinition self = (ComponentDefinition)symbols[0];
context().T().append( "version=" );
context().T().append( self.getVersion() );
context().T().append( "\nversion_date=" );
context().T().append( self.getVersion_date() );
context().T().append( "\n" );
}
};
case "expression/t.actualparameter.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String expression_body = (String)symbols[0];
context().T().append( expression_body );
context().T().append( "" );
}
};
case "expression/t.any.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String root_expression_body = (String)symbols[0];
context().T().append( root_expression_body );
context().T().append( ".any()" );
}
};
case "expression/t.arrayelementreference.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String index_expression_body = (String)symbols[0];
String root_expression_body = (String)symbols[1];
context().T().append( root_expression_body );
context().T().append( "[" );
context().T().append( index_expression_body );
context().T().append( "]" );
}
};
case "expression/t.attributeaccess.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String accessor = (String)symbols[0];
String root_expression_body = (String)symbols[1];
context().T().append( root_expression_body );
context().T().append( "." );
context().T().append( accessor );
context().T().append( "()" );
}
};
case "expression/t.binaryoperation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String left_operand_body = (String)symbols[0];
String operator = (String)symbols[1];
String right_operand_body = (String)symbols[2];
BinaryOperation self = (BinaryOperation)symbols[3];
if ( ( self.getInvocation() ) ) {
if ( ( self.getUtil() ) ) {
context().T().append( operator );
context().T().append( "( " );
context().T().append( left_operand_body );
context().T().append( ", " );
context().T().append( right_operand_body );
context().T().append( " )" );
}
else {
context().T().append( left_operand_body );
context().T().append( "." );
context().T().append( operator );
context().T().append( "( " );
context().T().append( right_operand_body );
context().T().append( " )" );
}
}
else {
context().T().append( left_operand_body );
context().T().append( " " );
context().T().append( operator );
context().T().append( " " );
context().T().append( right_operand_body );
context().T().append( "" );
}
}
};
case "expression/t.constantreference.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean is_string = (boolean)symbols[0];
ConstantReference self = (ConstantReference)symbols[1];
if ( ( is_string ) ) {
context().T().append( "\"" );
context().T().append( self.getValue() );
context().T().append( "\"" );
}
else {
context().T().append( self.getValue() );
context().T().append( "" );
}
}
};
case "expression/t.creation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
Creation self = (Creation)symbols[0];
context().T().append( self.getClass_name() );
context().T().append( "Impl.create( context() )" );
}
};
case "expression/t.enumeratorreference.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
EnumeratorReference self = (EnumeratorReference)symbols[0];
context().T().append( self.getEnum_type_name() );
context().T().append( "." );
context().T().append( self.getEnum_name() );
context().T().append( "" );
}
};
case "expression/t.eventcreation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String evt_expr = (String)symbols[0];
EventCreation self = (EventCreation)symbols[1];
String target_expr = (String)symbols[2];
context().T().append( evt_expr );
context().T().append( ".to" );
if ( ( self.getTo_self() ) ) {
context().T().append( "Self" );
}
context().T().append( "(" );
context().T().append( target_expr );
context().T().append( ")" );
}
};
case "expression/t.invocation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String base_name = (String)symbols[0];
boolean is_event_creation = (boolean)symbols[1];
String parameter_list = (String)symbols[2];
Invocation self = (Invocation)symbols[3];
if ( ( is_event_creation ) ) {
context().T().append( "new " );
context().T().append( base_name );
context().T().append( "." );
context().T().append( self.getInvoked_name() );
context().T().append( "(getRunContext(), context().getId()" );
if ( ( StringUtil.inequality( "", parameter_list ) ) ) {
context().T().append( ", " );
context().T().append( parameter_list );
context().T().append( "" );
}
context().T().append( ")" );
}
else {
context().T().append( base_name );
context().T().append( "." );
context().T().append( self.getInvoked_name() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ")" );
}
}
};
case "expression/t.literal.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean is_string = (boolean)symbols[0];
Literal self = (Literal)symbols[1];
if ( ( is_string ) ) {
context().T().append( "\"" );
context().T().append( self.getValue() );
context().T().append( "\"" );
}
else {
context().T().append( self.getValue() );
context().T().append( "" );
}
}
};
case "expression/t.namedreference.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
NamedReference self = (NamedReference)symbols[0];
context().T().append( self.getName() );
context().T().append( "" );
}
};
case "expression/t.parameterreference.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
ParameterReference self = (ParameterReference)symbols[0];
context().T().append( self.getParam_name() );
context().T().append( "" );
}
};
case "expression/t.parenthesizedexpression.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String root_expression_body = (String)symbols[0];
context().T().append( "( " );
context().T().append( root_expression_body );
context().T().append( " )" );
}
};
case "expression/t.promotion.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String cast_function = (String)symbols[0];
String root_expression_body = (String)symbols[1];
Promotion self = (Promotion)symbols[2];
String type_name = (String)symbols[3];
if ( ( self.getCast() ) ) {
if ( ( StringUtil.equality( "", cast_function ) ) ) {
context().T().append( "((" );
context().T().append( type_name );
context().T().append( ")" );
context().T().append( root_expression_body );
context().T().append( ")" );
}
else {
context().T().append( root_expression_body );
context().T().append( "." );
context().T().append( cast_function );
context().T().append( "()" );
}
}
else {
context().T().append( "new " );
context().T().append( type_name );
context().T().append( "(" );
context().T().append( root_expression_body );
context().T().append( ")" );
}
}
};
case "expression/t.selected.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
Selected self = (Selected)symbols[0];
context().T().append( "((" );
context().T().append( self.getCast() );
context().T().append( ")selected)" );
}
};
case "expression/t.selectfrominstances.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
SelectFromInstances self = (SelectFromInstances)symbols[0];
context().T().append( "context()." );
context().T().append( self.getSelector_name() );
context().T().append( "()" );
}
};
case "expression/t.selectrelated.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String root_expression_body = (String)symbols[0];
SelectRelated self = (SelectRelated)symbols[1];
context().T().append( root_expression_body );
context().T().append( "." );
context().T().append( self.getSelector_name() );
context().T().append( "()" );
}
};
case "expression/t.unaryoperation.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String operand_body = (String)symbols[0];
UnaryOperation self = (UnaryOperation)symbols[1];
if ( ( self.getInvocation() ) ) {
context().T().append( operand_body );
context().T().append( "." );
context().T().append( self.getOperator() );
context().T().append( "()" );
}
else {
context().T().append( self.getOperator() );
context().T().append( operand_body );
context().T().append( "" );
}
}
};
case "expression/t.variablereference.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
VariableReference self = (VariableReference)symbols[0];
String type_name = (String)symbols[1];
String var_prefix = (String)symbols[2];
if ( ( self.getDeclaration() ) ) {
context().T().append( type_name );
context().T().append( " " );
}
context().T().append( var_prefix );
context().T().append( self.getVar_name() );
context().T().append( "" );
}
};
case "expression/t.where.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String accessor = (String)symbols[0];
String root_expression_body = (String)symbols[1];
Where self = (Where)symbols[2];
boolean sort_descending = (boolean)symbols[3];
boolean sorted = (boolean)symbols[4];
boolean use_util = (boolean)symbols[5];
String util_name = (String)symbols[6];
String where_expression_body = (String)symbols[7];
if ( ( StringUtil.equality( "many", self.getMultiplicity() ) ) ) {
context().T().append( "((" );
context().T().append( self.getCast() );
context().T().append( ")" );
}
context().T().append( root_expression_body );
context().T().append( "" );
if ( ( sorted ) ) {
context().T().append( ".sorted((_a, _b) -> {try {int comp = " );
if ( ( use_util ) ) {
context().T().append( util_name );
context().T().append( ".compareTo(_a." );
context().T().append( accessor );
context().T().append( "(), _b." );
context().T().append( accessor );
context().T().append( "())" );
}
else {
context().T().append( "_a." );
context().T().append( accessor );
context().T().append( "().compareTo(_b." );
context().T().append( accessor );
context().T().append( "())" );
}
context().T().append( ";return comp == 0 ? _a.compareTo(_b) : comp;} catch (XtumlException _e) {return 0;}}\n" );
if ( ( sort_descending ) ) {
context().T().append( ", false" );
}
context().T().append( ")" );
}
if ( ( StringUtil.equality( "one", self.getMultiplicity() ) ) ) {
context().T().append( ".oneWhere(selected -> " );
context().T().append( where_expression_body );
context().T().append( ")" );
}
else if ( ( StringUtil.equality( "any", self.getMultiplicity() ) ) ) {
context().T().append( ".anyWhere(selected -> " );
context().T().append( where_expression_body );
context().T().append( ")" );
}
else {
context().T().append( ".where(selected -> " );
context().T().append( where_expression_body );
context().T().append( "))" );
}
}
};
case "file/t.generalfile.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
GeneralFile self = (GeneralFile)symbols[0];
context().T().append( self.getContents() );
context().T().append( "" );
}
};
case "file/t.typeimport.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
TypeImport self = (TypeImport)symbols[0];
context().T().append( "import " );
context().T().append( self.getFully_qualified_name() );
context().T().append( ";\n" );
}
};
case "interface/t.interface.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String from_provider_message_block = (String)symbols[0];
String imports = (String)symbols[1];
Iface self = (Iface)symbols[2];
String to_provider_message_block = (String)symbols[3];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic interface " );
context().T().append( self.getName() );
context().T().append( " {\n\n // to provider messages\n" );
context().T().append( to_provider_message_block );
context().T().append( "\n\n // from provider messages\n" );
context().T().append( from_provider_message_block );
context().T().append( "\n\n}\n" );
}
};
case "interface/t.message.deliver.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String message_parameter_list = (String)symbols[0];
PortMessage self = (PortMessage)symbols[1];
context().T().append( " case " );
context().T().append( self.getIface_name() );
context().T().append( ".SIGNAL_NO_" );
context().T().append( context().T().sub( "u", self.getMsg_name() ) );
context().T().append( ":\n " );
context().T().append( self.getMsg_name() );
context().T().append( "(" );
context().T().append( message_parameter_list );
context().T().append( ");\n break;\n" );
}
};
case "interface/t.message.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String invocation_parameter_list = (String)symbols[0];
String parameter_list = (String)symbols[1];
Message self = (Message)symbols[2];
context().T().append( " public static final int SIGNAL_NO_" );
context().T().append( context().T().sub( "u", self.getName() ) );
context().T().append( " = " );
context().T().append( self.getId() );
context().T().append( ";\n public static class " );
context().T().append( context().T().sub( "c", self.getName() ) );
context().T().append( " extends Message {\n" );
if ( ( StringUtil.inequality( "", parameter_list ) ) ) {
context().T().append( " public " );
context().T().append( context().T().sub( "c", self.getName() ) );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") {\n super(new Object[]{" );
context().T().append( invocation_parameter_list );
context().T().append( "});\n }\n" );
}
context().T().append( " @Override\n public int getId() {\n return SIGNAL_NO_" );
context().T().append( context().T().sub( "u", self.getName() ) );
context().T().append( ";\n }\n \n }\n public void " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException;\n" );
}
};
case "interface/t.port.http.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String endpoint = (String)symbols[0];
context().T().append( " @Override\n public String getEndpoint() {\n return \"" );
context().T().append( endpoint );
context().T().append( "\";\n }\n" );
}
};
case "interface/t.port.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String extra_parameters = (String)symbols[0];
String imports = (String)symbols[1];
String inbound_message_block = (String)symbols[2];
String message_switch_block = (String)symbols[3];
String outbound_message_block = (String)symbols[4];
Port self = (Port)symbols[5];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( " extends " );
context().T().append( self.getBase_class() );
context().T().append( "<" );
context().T().append( self.getComp_name() );
context().T().append( "> implements " );
context().T().append( self.getIface_name() );
context().T().append( " {\n\n public " );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( self.getComp_name() );
context().T().append( " context, IPort peer ) {\n super( context, peer );\n }\n\n // inbound messages\n" );
context().T().append( inbound_message_block );
context().T().append( "\n\n // outbound messages\n" );
context().T().append( outbound_message_block );
context().T().append( "\n\n @Override\n public void deliver( IMessage message ) throws XtumlException {\n if ( null == message ) throw new BadArgumentException( \"Cannot deliver null message.\" );\n switch ( message.getId() ) {\n" );
context().T().append( message_switch_block );
context().T().append( " default:\n throw new BadArgumentException( \"Message not implemented by this port.\" );\n }\n }\n\n" );
context().T().append( extra_parameters );
context().T().append( "\n\n @Override\n public String getName() {\n return \"" );
context().T().append( self.getPort_name() );
context().T().append( "\";\n }\n\n}\n" );
}
};
case "interface/t.portaccessor.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
Port self = (Port)symbols[0];
context().T().append( " private " );
context().T().append( self.getName() );
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( ";\n public " );
context().T().append( self.getName() );
context().T().append( " " );
context().T().append( self.getPort_name() );
context().T().append( "() {\n if ( null == " );
context().T().append( self.getName() );
context().T().append( " ) " );
context().T().append( self.getName() );
context().T().append( " = new " );
context().T().append( self.getName() );
context().T().append( "( this, null );\n return " );
context().T().append( self.getName() );
context().T().append( ";\n }\n" );
}
};
case "interface/t.portmessage.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String body = (String)symbols[0];
boolean inbound = (boolean)symbols[1];
String invocation_parameter_list = (String)symbols[2];
String parameter_list = (String)symbols[3];
PortMessage self = (PortMessage)symbols[4];
context().T().append( " public void " );
context().T().append( self.getMsg_name() );
context().T().append( "(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException " );
if ( ( inbound ) ) {
context().T().append( body );
context().T().append( "\n" );
}
else {
context().T().append( "{\n if ( satisfied() ) send(new " );
context().T().append( self.getIface_name() );
context().T().append( "." );
context().T().append( context().T().sub( "c", self.getMsg_name() ) );
context().T().append( "(" );
context().T().append( invocation_parameter_list );
context().T().append( "));\n else " );
context().T().append( body );
context().T().append( " }\n" );
}
}
};
case "invocable/t.codeblock.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean include_suffix = (boolean)symbols[0];
String indent = (String)symbols[1];
boolean is_else_if = (boolean)symbols[2];
CodeBlock self = (CodeBlock)symbols[3];
String statements = (String)symbols[4];
if ( ( is_else_if ) ) {
context().T().append( statements );
context().T().append( "" );
}
else {
context().T().append( "{\n" );
context().T().append( self.getPrefix() );
context().T().append( statements );
context().T().append( "" );
if ( ( include_suffix ) ) {
context().T().append( self.getSuffix() );
context().T().append( "" );
}
context().T().append( indent );
context().T().append( "}\n" );
}
}
};
case "relationship/t.referentialattributeinitialization.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String form_accessor_name = (String)symbols[0];
String part_accessor_name = (String)symbols[1];
context().T().append( " form." );
context().T().append( form_accessor_name );
context().T().append( "( part." );
context().T().append( part_accessor_name );
context().T().append( "() );\n" );
}
};
case "relationship/t.relationshipmodifiers.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String attribute_propagations = (String)symbols[0];
String cardinality_check = (String)symbols[1];
String relationship_setters = (String)symbols[2];
String relationship_unsetters = (String)symbols[3];
ClassRelationship self = (ClassRelationship)symbols[4];
context().T().append( " public void relate_" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( self.getForm_name() );
context().T().append( " form, " );
context().T().append( self.getPart_name() );
context().T().append( " part ) throws XtumlException {\n if ( null == form || null == part ) throw new BadArgumentException( \"Null instances passed.\" );\n if ( form.isEmpty() || part.isEmpty() ) throw new EmptyInstanceException( \"Cannot relate empty instances.\" );\n" );
context().T().append( cardinality_check );
context().T().append( " if ( " );
context().T().append( self.getName() );
context().T().append( "_extent.add( new Relationship( form.getInstanceId(), part.getInstanceId() ) ) ) {\n" );
context().T().append( relationship_setters );
context().T().append( attribute_propagations );
context().T().append( " }\n else throw new ModelIntegrityException( \"Instances could not be related.\" );\n }\n\n public void unrelate_" );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( self.getForm_name() );
context().T().append( " form, " );
context().T().append( self.getPart_name() );
context().T().append( " part ) throws XtumlException {\n if ( null == form || null == part ) throw new BadArgumentException( \"Null instances passed.\" );\n if ( form.isEmpty() || part.isEmpty() ) throw new EmptyInstanceException( \"Cannot unrelate empty instances.\" );\n if ( " );
context().T().append( self.getName() );
context().T().append( "_extent.remove( " );
context().T().append( self.getName() );
context().T().append( "_extent.get( form.getInstanceId(), part.getInstanceId() ) ) ) {\n" );
context().T().append( relationship_unsetters );
context().T().append( " }\n else throw new ModelIntegrityException( \"Instances could not be unrelated.\" );\n }\n" );
}
};
case "statemachine/t.event.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String class_name = (String)symbols[0];
String invocation_parameter_list = (String)symbols[1];
String parameter_list = (String)symbols[2];
Event self = (Event)symbols[3];
context().T().append( " public static class " );
context().T().append( self.getName() );
context().T().append( " extends Event {\n public " );
context().T().append( self.getName() );
context().T().append( "(IRunContext runContext, int populationId" );
if ( ( StringUtil.inequality( "", parameter_list ) ) ) {
context().T().append( ", " );
context().T().append( parameter_list );
context().T().append( "" );
}
context().T().append( ") {\n super(runContext, populationId" );
if ( ( StringUtil.inequality( "", parameter_list ) ) ) {
context().T().append( ", new Object[]{" );
context().T().append( invocation_parameter_list );
context().T().append( "}" );
}
context().T().append( ");\n }\n @Override\n public int getId() {\n return " );
context().T().append( self.getId() );
context().T().append( ";\n }\n @Override\n public String getClassName() {\n return \"" );
context().T().append( class_name );
context().T().append( "\";\n }\n }\n" );
}
};
case "statemachine/t.state.decl.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
State self = (State)symbols[0];
context().T().append( " public static final int " );
context().T().append( self.getName() );
context().T().append( " = " );
context().T().append( self.getNumber() );
context().T().append( ";\n" );
}
};
case "statemachine/t.state.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String body = (String)symbols[0];
String parameter_list = (String)symbols[1];
State self = (State)symbols[2];
context().T().append( " private void " );
context().T().append( self.getName() );
context().T().append( "_entry_action(" );
context().T().append( parameter_list );
context().T().append( ") throws XtumlException " );
context().T().append( body );
context().T().append( "\n" );
}
};
case "statemachine/t.statemachine.decl.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
StateMachine self = (StateMachine)symbols[0];
context().T().append( " private final " );
context().T().append( self.getName() );
context().T().append( " statemachine;\n \n @Override\n public void accept(IEvent event) throws XtumlException {\n statemachine.transition(event);\n }\n\n @Override\n public int getCurrentState() {\n return statemachine.getCurrentState();\n }\n" );
}
};
case "statemachine/t.statemachine.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String imports = (String)symbols[0];
String initial_state = (String)symbols[1];
StateMachine self = (StateMachine)symbols[2];
String state_actions = (String)symbols[3];
String state_declarations = (String)symbols[4];
String transition_table_rows = (String)symbols[5];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ".impl;\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( " extends StateMachine<" );
context().T().append( self.getClass_name() );
context().T().append( "," );
context().T().append( self.getComp_name() );
context().T().append( "> {\n\n" );
context().T().append( state_declarations );
context().T().append( "\n\n private " );
context().T().append( self.getClass_name() );
context().T().append( " self;\n\n public " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( self.getClass_name() );
context().T().append( " self, " );
context().T().append( self.getComp_name() );
context().T().append( " context) {\n" );
if ( ( StringUtil.inequality( "", initial_state ) ) ) {
context().T().append( " this(self, context, " );
context().T().append( initial_state );
context().T().append( ");\n }\n\n public " );
context().T().append( self.getName() );
context().T().append( "(" );
context().T().append( self.getClass_name() );
context().T().append( " self, " );
context().T().append( self.getComp_name() );
context().T().append( " context, int initialState) {\n super(context, initialState);\n this.self = self;\n }\n" );
}
else {
context().T().append( " super(context);\n this.self = self;\n }\n" );
}
context().T().append( "\n" );
context().T().append( state_actions );
context().T().append( "\n\n @Override\n public ITransition[][] getStateEventMatrix() {\n return new ITransition[][] {\n" );
context().T().append( transition_table_rows );
context().T().append( "\n };\n }\n\n @Override\n public " );
context().T().append( self.getClass_name() );
context().T().append( " self() {\n return self;\n }\n\n @Override\n public String getClassName() {\n return \"" );
context().T().append( self.getClass_name() );
context().T().append( "\";\n }\n\n}\n" );
}
};
case "statemachine/t.transitiontablecell.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
boolean cant_happen = (boolean)symbols[0];
boolean event_ignored = (boolean)symbols[1];
String parameter_list = (String)symbols[2];
TransitionTableCell self = (TransitionTableCell)symbols[3];
if ( ( cant_happen ) ) {
context().T().append( "CANT_HAPPEN" );
}
else if ( ( event_ignored ) ) {
context().T().append( "IGNORE" );
}
else {
context().T().append( "(event) -> {" );
context().T().append( self.getEnd_state_name() );
context().T().append( "_entry_action(" );
context().T().append( parameter_list );
context().T().append( "); return " );
context().T().append( self.getEnd_state_name() );
context().T().append( ";}" );
}
}
};
case "statemachine/t.transitiontablerow.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String transition_table_cells = (String)symbols[0];
context().T().append( " { " );
context().T().append( transition_table_cells );
context().T().append( "\n }" );
}
};
case "statement/t.break.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String indent = (String)symbols[0];
String oal = (String)symbols[1];
String prefix = (String)symbols[2];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "break;\n" );
}
};
case "statement/t.continue.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String indent = (String)symbols[0];
String oal = (String)symbols[1];
String prefix = (String)symbols[2];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "continue;\n" );
}
};
case "statement/t.delete.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String indent = (String)symbols[0];
String inst_expr = (String)symbols[1];
String oal = (String)symbols[2];
String prefix = (String)symbols[3];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( inst_expr );
context().T().append( ".delete();\n" );
}
};
case "statement/t.expressionasstatement.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String expression_body = (String)symbols[0];
String indent = (String)symbols[1];
String oal = (String)symbols[2];
String prefix = (String)symbols[3];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( expression_body );
context().T().append( ";\n" );
}
};
case "statement/t.finalization.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
int finalization_num = (int)symbols[0];
String indent = (String)symbols[1];
Finalization self = (Finalization)symbols[2];
String type_name = (String)symbols[3];
context().T().append( indent );
context().T().append( "final " );
context().T().append( type_name );
context().T().append( " _final" );
context().T().append( context().T().sub( "t", finalization_num ) );
context().T().append( "_" );
context().T().append( self.getVar_name() );
context().T().append( " = " );
context().T().append( self.getVar_name() );
context().T().append( ";\n" );
}
};
case "statement/t.for.iter.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String indent = (String)symbols[0];
ForSmt self = (ForSmt)symbols[1];
context().T().append( indent );
context().T().append( self.getIterator_name() );
context().T().append( " = _" );
context().T().append( self.getIterator_name() );
context().T().append( "_iter.next();\n" );
}
};
case "statement/t.for.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String control_block = (String)symbols[0];
String indent = (String)symbols[1];
String iterable_expr = (String)symbols[2];
String iterator_type = (String)symbols[3];
String oal = (String)symbols[4];
String prefix = (String)symbols[5];
ForSmt self = (ForSmt)symbols[6];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "for ( Iterator<" );
context().T().append( iterator_type );
context().T().append( "> _" );
context().T().append( self.getIterator_name() );
context().T().append( "_iter = " );
context().T().append( iterable_expr );
context().T().append( ".elements().iterator(); _" );
context().T().append( self.getIterator_name() );
context().T().append( "_iter.hasNext(); ) " );
context().T().append( control_block );
context().T().append( "" );
}
};
case "statement/t.generate.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String evt_expr = (String)symbols[0];
String indent = (String)symbols[1];
String oal = (String)symbols[2];
String prefix = (String)symbols[3];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "context().generate(" );
context().T().append( evt_expr );
context().T().append( ");\n" );
}
};
case "statement/t.halt.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String indent = (String)symbols[0];
String oal = (String)symbols[1];
String prefix = (String)symbols[2];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "getRunContext().execute( new HaltExecutionTask() );\n" );
}
};
case "statement/t.if.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String cond_expr = (String)symbols[0];
String else_block = (String)symbols[1];
String else_oal = (String)symbols[2];
String if_oal = (String)symbols[3];
String indent = (String)symbols[4];
IfSmt self = (IfSmt)symbols[5];
String then_block = (String)symbols[6];
if ( ( StringUtil.inequality( "", if_oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( if_oal );
context().T().append( "\n" );
}
if ( ( !self.getIs_else_if() ) ) {
context().T().append( indent );
context().T().append( "" );
}
context().T().append( "if ( " );
context().T().append( cond_expr );
context().T().append( " ) " );
context().T().append( then_block );
context().T().append( "" );
if ( ( StringUtil.inequality( "", else_block ) ) ) {
if ( ( StringUtil.inequality( "", else_oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( else_oal );
context().T().append( "\n" );
}
context().T().append( indent );
context().T().append( "else " );
context().T().append( else_block );
context().T().append( "" );
}
}
};
case "statement/t.relate.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String form_expr = (String)symbols[0];
String indent = (String)symbols[1];
String oal = (String)symbols[2];
String part_expr = (String)symbols[3];
String prefix = (String)symbols[4];
RelateSmt self = (RelateSmt)symbols[5];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "context().relate_" );
context().T().append( self.getRel_name() );
context().T().append( "( " );
context().T().append( form_expr );
context().T().append( ", " );
context().T().append( part_expr );
context().T().append( " );\n" );
}
};
case "statement/t.return.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String block_suffix = (String)symbols[0];
String indent = (String)symbols[1];
String oal = (String)symbols[2];
String prefix = (String)symbols[3];
String ret_expression_body = (String)symbols[4];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( "" );
if ( ( StringUtil.equality( "", ret_expression_body ) ) ) {
context().T().append( block_suffix );
context().T().append( indent );
context().T().append( "return;\n" );
}
else {
context().T().append( block_suffix );
context().T().append( indent );
context().T().append( "return " );
context().T().append( ret_expression_body );
context().T().append( ";\n" );
}
}
};
case "statement/t.unrelate.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String form_expr = (String)symbols[0];
String indent = (String)symbols[1];
String oal = (String)symbols[2];
String part_expr = (String)symbols[3];
String prefix = (String)symbols[4];
UnrelateSmt self = (UnrelateSmt)symbols[5];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "context().unrelate_" );
context().T().append( self.getRel_name() );
context().T().append( "( " );
context().T().append( form_expr );
context().T().append( ", " );
context().T().append( part_expr );
context().T().append( " );\n" );
}
};
case "statement/t.while.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String cond_expr = (String)symbols[0];
String control_block = (String)symbols[1];
String indent = (String)symbols[2];
String oal = (String)symbols[3];
String prefix = (String)symbols[4];
if ( ( StringUtil.inequality( "", oal ) ) ) {
context().T().append( indent );
context().T().append( "// " );
context().T().append( oal );
context().T().append( "\n" );
}
context().T().append( prefix );
context().T().append( indent );
context().T().append( "while ( " );
context().T().append( cond_expr );
context().T().append( " ) " );
context().T().append( control_block );
context().T().append( "" );
}
};
case "type/t.enumeratedtype.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String enumerator_accessors = (String)symbols[0];
String enumerators = (String)symbols[1];
String imports = (String)symbols[2];
EnumeratedType self = (EnumeratedType)symbols[3];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic enum " );
context().T().append( self.getName() );
context().T().append( " implements IXtumlType {\n\n UNINITIALIZED_ENUM( -1 )" );
context().T().append( enumerators );
context().T().append( "\n\n private final int value;\n\n " );
context().T().append( self.getName() );
context().T().append( "() {\n value = -1;\n }\n\n " );
context().T().append( self.getName() );
context().T().append( "( int value ) {\n this.value = value;\n }\n\n public int getValue() {\n return value;\n }\n\n @Override\n public boolean equality( IXtumlType value ) throws XtumlException {\n if (value instanceof " );
context().T().append( self.getName() );
context().T().append( ") {\n return null != value && this.value == ((" );
context().T().append( self.getName() );
context().T().append( ")value).getValue();\n }\n else return false;\n }\n\n @Override\n public String serialize() {\n return Integer.toString(value);\n }\n\n public static " );
context().T().append( self.getName() );
context().T().append( " deserialize(Object o) throws XtumlException {\n if (o instanceof " );
context().T().append( self.getName() );
context().T().append( ") {\n return (" );
context().T().append( self.getName() );
context().T().append( ")o;\n }\n else {\n int value;\n if (o instanceof Integer) {\n value = (int)o;\n }\n else if (o instanceof String) {\n value = Integer.parseInt((String)o);\n }\n else throw new XtumlException(\"Cannot deserialize value\");\n return valueOf(value);\n }\n }\n\n public static " );
context().T().append( self.getName() );
context().T().append( " valueOf(int value) {\n switch( value ) {\n" );
context().T().append( enumerator_accessors );
context().T().append( " default:\n return UNINITIALIZED_ENUM;\n }\n }\n\n}\n" );
}
};
case "type/t.enumerator.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
Enumerator self = (Enumerator)symbols[0];
context().T().append( " " );
context().T().append( self.getName() );
context().T().append( "( " );
context().T().append( context().T().sub( "t", self.getValue() ) );
context().T().append( " )" );
}
};
case "type/t.enumeratoraccessor.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
Enumerator self = (Enumerator)symbols[0];
context().T().append( " case " );
context().T().append( context().T().sub( "t", self.getValue() ) );
context().T().append( ":\n return " );
context().T().append( self.getName() );
context().T().append( ";\n" );
}
};
case "type/t.userdefinedtype.java":
return new Template( population ) {
@Override
public void evaluate(Object ... symbols) throws XtumlException {
String extends_type = (String)symbols[0];
String imports = (String)symbols[1];
UserDefinedType self = (UserDefinedType)symbols[2];
context().T().append( "package " );
context().T().append( self.getPackage() );
context().T().append( ";\n\n" );
context().T().append( imports );
context().T().append( "\n\npublic class " );
context().T().append( self.getName() );
context().T().append( " extends " );
context().T().append( extends_type );
context().T().append( " implements IXtumlType {\n\n public " );
context().T().append( self.getName() );
context().T().append( "() {\n super();\n }\n\n public " );
context().T().append( self.getName() );
context().T().append( "(Object value) throws XtumlException {\n super(value);\n }\n\n}\n" );
}
};
default:
return (symbolTable) -> {};
}
}
}
