Commit 05aa61eb authored by Philip Makedonski's avatar Philip Makedonski
Browse files

* attempt to fixed gitignore

parent 3acf5b14

plugins/Prototypes/org.etsi.mts.tdl.model/bin/.gitignore

deleted100644 → 0
+0 −1
Original line number Diff line number Diff line 
/org/

plugins/Prototypes/org.etsi.mts.tdl.rt.ui/bin/.gitignore

deleted100644 → 0
+0 −1
Original line number Diff line number Diff line 
/org/

plugins/Prototypes/org.etsi.mts.tdl.rt.ui/mts_tst_mqtt_broker_sec.tplan2-data.tdl

0 → 100644
+137 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="ASCII"?>

<tdl:Package xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:tdl="http://www.etsi.org/spec/TDL/1.4.1" name="generated_from_mts_tst_mqtt_sec">

  <packagedElement xsi:type="tdl:SimpleDataType" name="String"/>

  <packagedElement xsi:type="tdl:SimpleDataType" name="TODO_RESOLVE_REFERENCED"/>

  <packagedElement xsi:type="tdl:StructuredDataType" name="MQTT_CONNECTION">

    <member name="keep_alive">

      <dataType xsi:type="tdl:SimpleDataType" href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_commons.tplan2#//@packagedElement.51"/>

    </member>

  </packagedElement>

  <packagedElement xsi:type="tdl:StructuredDataType" name="SUBSCRIBE_message">

    <member name="payload" dataType="//@packagedElement.4"/>

  </packagedElement>

  <packagedElement xsi:type="tdl:StructuredDataType" name="SUBSCRIBE_message_payload">

    <member name="filterLength">

      <dataType xsi:type="tdl:SimpleDataType" href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_commons.tplan2#//@packagedElement.51"/>

    </member>

    <member name="topic_filter">

      <dataType xsi:type="tdl:SimpleDataType" href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_commons.tplan2#//@packagedElement.49"/>

    </member>

  </packagedElement>

  <packagedElement xsi:type="tdl:StructuredDataType" name="TCP_CONNECTION"/>

  <packagedElement xsi:type="tdl:StructuredDataType" name="PUBLISH_message">

    <member name="topic_name">

      <dataType xsi:type="tdl:SimpleDataType" href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_commons.tplan2#//@packagedElement.49"/>

    </member>

  </packagedElement>

  <packagedElement xsi:type="tdl:GateType" name="PROBE_CLIENT_GateType" dataType="//@packagedElement.2 //@packagedElement.5"/>

  <packagedElement xsi:type="tdl:ComponentType" name="PROBE_CLIENT_Type">

    <gateInstance name="g" type="//@packagedElement.7"/>

  </packagedElement>

  <packagedElement xsi:type="tdl:GateType" name="IUT_GateType" dataType="//@packagedElement.3 //@packagedElement.5 //@packagedElement.2 //@packagedElement.6"/>

  <packagedElement xsi:type="tdl:ComponentType" name="IUT_Type">

    <gateInstance name="g" type="//@packagedElement.9"/>

  </packagedElement>

  <packagedElement xsi:type="tdl:GateType" name="ATTACKER_CLIENT_GateType" dataType="//@packagedElement.3 //@packagedElement.2 //@packagedElement.6"/>

  <packagedElement xsi:type="tdl:ComponentType" name="ATTACKER_CLIENT_Type">

    <gateInstance name="g" type="//@packagedElement.11"/>

  </packagedElement>

  <packagedElement xsi:type="tdl:TestConfiguration" name="TC_PROBE_CLIENT_ATTACKER_CLIENT_IUT">

    <comment body="&quot;See TP_MQTT_BROKER_SEC_CVE_001&quot;"/>

    <comment body="&quot;See TP_MQTT_BROKER_SEC_CVE_002&quot;"/>

    <comment body="&quot;See TP_MQTT_BROKER_SEC_CVE_003&quot;"/>

    <componentInstance name="PROBE_CLIENT" type="//@packagedElement.8" role="Tester"/>

    <componentInstance name="IUT" type="//@packagedElement.10"/>

    <componentInstance name="ATTACKER_CLIENT" type="//@packagedElement.12" role="Tester"/>

    <componentInstance name="PROBE_CLIENT_Tester" type="//@packagedElement.8" role="Tester"/>

    <connection>

      <endPoint component="//@packagedElement.13/@componentInstance.0" gate="//@packagedElement.8/@gateInstance.0"/>

      <endPoint component="//@packagedElement.13/@componentInstance.3" gate="//@packagedElement.8/@gateInstance.0"/>

    </connection>

    <connection>

      <endPoint component="//@packagedElement.13/@componentInstance.1" gate="//@packagedElement.10/@gateInstance.0"/>

      <endPoint component="//@packagedElement.13/@componentInstance.2" gate="//@packagedElement.12/@gateInstance.0"/>

    </connection>

    <connection>

      <endPoint component="//@packagedElement.13/@componentInstance.1" gate="//@packagedElement.10/@gateInstance.0"/>

      <endPoint component="//@packagedElement.13/@componentInstance.0" gate="//@packagedElement.8/@gateInstance.0"/>

    </connection>

  </packagedElement>

  <packagedElement xsi:type="tdl:TestDescription" name="TD_TP_MQTT_BROKER_SEC_CVE_001" testConfiguration="//@packagedElement.13">

    <behaviourDescription>

      <behaviour xsi:type="tdl:CompoundBehaviour">

        <block>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.0/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.0/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; the MQTT_CONNECTION containing&#xA;          keep_alive corresponding to PX_PROBE_CON_KEEP_ALIVE;&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.1/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.1/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; a SUBSCRIBE message containing&#xA;            payload containing&#xA;              filterLength corresponding to TOPIC_FILTER_LEN_SEC_CVE_01,&#xA;              topic_filter corresponding to TOPIC_FILTER_LEN_SEC_CVE_01;;&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.2/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.2/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; the TCP_CONNECTION&quot;"/>

          </behaviour>

        </block>

      </behaviour>

    </behaviourDescription>

    <testObjective href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_broker_sec.tplan2#//@packagedElement.7"/>

  </packagedElement>

  <packagedElement xsi:type="tdl:TestDescription" name="TD_TP_MQTT_BROKER_SEC_CVE_002" testConfiguration="//@packagedElement.13">

    <behaviourDescription>

      <behaviour xsi:type="tdl:CompoundBehaviour">

        <block>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.1/@endPoint.1">

            <target targetGate="//@packagedElement.13/@connection.1/@endPoint.0"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; a MQTT_CONNECTION&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.0/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.0/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; the MQTT_CONNECTION containing&#xA;         keep_alive corresponding to PX_PROBE_CON_KEEP_ALIVE;&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.1/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.1/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; a PUBLISH message containing&#xA;            topic_name corresponding to TOPIC_NAME_SEC_CVE_02;&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.2/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.2/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; the TCP_CONNECTION&quot;"/>

          </behaviour>

        </block>

      </behaviour>

    </behaviourDescription>

    <testObjective href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_broker_sec.tplan2#//@packagedElement.8"/>

  </packagedElement>

  <packagedElement xsi:type="tdl:TestDescription" name="TD_TP_MQTT_BROKER_SEC_CVE_003" testConfiguration="//@packagedElement.13">

    <behaviourDescription>

      <behaviour xsi:type="tdl:CompoundBehaviour">

        <block>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.1/@endPoint.1">

            <target targetGate="//@packagedElement.13/@connection.1/@endPoint.0"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; a MQTT_CONNECTION&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.2/@endPoint.1">

            <target targetGate="//@packagedElement.13/@connection.2/@endPoint.0"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; a MQTT_CONNECTION&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.1/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.1/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; a SUBSCRIBE message containing&#xA;          payload containing&#xA;            topic_filter corresponding to TOPIC_FILTER_SEC_CVE_03;;&quot;"/>

          </behaviour>

          <behaviour xsi:type="tdl:Message" sourceGate="//@packagedElement.13/@connection.2/@endPoint.0">

            <target targetGate="//@packagedElement.13/@connection.2/@endPoint.1"/>

            <argument xsi:type="tdl:LiteralValueUse" value="&quot; the TCP_CONNECTION&quot;"/>

          </behaviour>

        </block>

      </behaviour>

    </behaviourDescription>

    <testObjective href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_broker_sec.tplan2#//@packagedElement.9"/>

  </packagedElement>

  <import>

    <importedPackage href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_commons.tplan2#/"/>

  </import>

  <import>

    <importedPackage href="/Users/philip-iii/Dev/workspaces/tdl-ide-2021-06/examples/mqtt_ts_10359701v010101p0/mts_tst_mqtt_broker_sec.tplan2#/"/>

  </import>

</tdl:Package>

plugins/Prototypes/org.etsi.mts.tdl.tx.ide/src-gen/META-INF/services/org.eclipse.xtext.ISetup

deleted100644 → 0
+0 −1
Original line number Diff line number Diff line 
org.etsi.mts.tdl.ide.TDLtxIdeSetup

plugins/Prototypes/org.etsi.mts.tdl.tx.ide/src-gen/org/etsi/mts/tdl/ide/AbstractTDLtxIdeModule.java

deleted100644 → 0
+0 −60
Original line number Diff line number Diff line 
/*

 * generated by Xtext 2.25.0

 */

package org.etsi.mts.tdl.ide;



import com.google.inject.Binder;

import com.google.inject.name.Names;

import org.eclipse.xtext.ide.DefaultIdeModule;

import org.eclipse.xtext.ide.LexerIdeBindings;

import org.eclipse.xtext.ide.editor.contentassist.FQNPrefixMatcher;

import org.eclipse.xtext.ide.editor.contentassist.IPrefixMatcher;

import org.eclipse.xtext.ide.editor.contentassist.IProposalConflictHelper;

import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper;

import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;

import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;

import org.eclipse.xtext.ide.refactoring.IRenameStrategy2;

import org.eclipse.xtext.ide.server.rename.IRenameService2;

import org.eclipse.xtext.ide.server.rename.RenameService2;

import org.etsi.mts.tdl.ide.contentassist.antlr.TDLtxParser;

import org.etsi.mts.tdl.ide.contentassist.antlr.internal.InternalTDLtxLexer;



/**

 * Manual modifications go to {@link TDLtxIdeModule}.

 */

@SuppressWarnings("all")

public abstract class AbstractTDLtxIdeModule extends DefaultIdeModule {



	// contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2

	public void configureContentAssistLexer(Binder binder) {

		binder.bind(Lexer.class)

			.annotatedWith(Names.named(LexerIdeBindings.CONTENT_ASSIST))

			.to(InternalTDLtxLexer.class);

	}

	

	// contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2

	public Class<? extends IContentAssistParser> bindIContentAssistParser() {

		return TDLtxParser.class;

	}

	

	// contributed by org.eclipse.xtext.xtext.generator.parser.antlr.XtextAntlrGeneratorFragment2

	public Class<? extends IProposalConflictHelper> bindIProposalConflictHelper() {

		return AntlrProposalConflictHelper.class;

	}

	

	// contributed by org.eclipse.xtext.xtext.generator.exporting.QualifiedNamesFragment2

	public Class<? extends IPrefixMatcher> bindIPrefixMatcher() {

		return FQNPrefixMatcher.class;

	}

	

	// contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

	public Class<? extends IRenameService2> bindIRenameService2() {

		return RenameService2.class;

	}

	

	// contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2

	public Class<? extends IRenameStrategy2> bindIRenameStrategy2() {

		return IRenameStrategy2.DefaultImpl.class;

	}

	

}