Commit a98f6210 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ shift to JAXB for XML configuration, #33

parent 5ff36a92
Loading
Loading
Loading
Loading
+2 −0
Original line number Diff line number Diff line
@@ -44,6 +44,8 @@
			<unit id="org.objectweb.asm" version="9.7.0"/>
			<unit id="io.github.classgraph.classgraph" version="0.0.0"/>
			<unit id="com.google.gson" version="0.0.0"/>
			<unit id="com.sun.xml.bind.jaxb-core" version="0.0.0"/>
			<unit id="com.sun.xml.bind.jaxb-impl" version="0.0.0"/>
			<repository location="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/2024-09"/>
		</location>
		<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
+6 −2
Original line number Diff line number Diff line
@@ -5,7 +5,11 @@ Bundle-SymbolicName: de.ugoe.cs.swe.TTCN3Configuration
Bundle-Version: 1.0.0.qualifier
Require-Bundle: org.apache.commons.cli,
 de.ugoe.cs.swe.TTCN3.external,
 org.eclipse.emf.common
 org.eclipse.emf.common,
 jakarta.xml.bind-api,
 com.sun.xml.bind.jaxb-core,
 com.sun.xml.bind.jaxb-impl,
 jakarta.activation-api
Export-Package: de.ugoe.cs.swe.TTCN3Configuration,
 de.ugoe.cs.swe.common,
 de.ugoe.cs.swe.common.exceptions,
+4 −0
Original line number Diff line number Diff line
package de.ugoe.cs.swe.TTCN3Configuration;

import jakarta.xml.bind.annotation.XmlAccessType;
import jakarta.xml.bind.annotation.XmlAccessorType;

@XmlAccessorType(XmlAccessType.FIELD)
public class NamingConventionsConfig {

	private String moduleRegExp = "[A-Z].*";
+9 −0
Original line number Diff line number Diff line
package de.ugoe.cs.swe.TTCN3Configuration;

import de.ugoe.cs.swe.common.ConfigurationProfile;
import jakarta.xml.bind.annotation.XmlAccessType;
import jakarta.xml.bind.annotation.XmlAccessorType;
import jakarta.xml.bind.annotation.XmlElement;
import jakarta.xml.bind.annotation.XmlElementWrapper;

@XmlAccessorType(XmlAccessType.FIELD)
public class QualityCheckProfile extends ConfigurationProfile {
	private boolean featureListImportedModuleNames = false;
	private boolean featureListImportedModuleFileNames = false;
@@ -26,6 +31,8 @@ public class QualityCheckProfile extends ConfigurationProfile {
	private boolean checkNoAllKeywordInPortDefinitions = true;
	private boolean checkImportsComeFirst = true;
	private boolean checkLocalDefinitionsComeFirst = true;
	@XmlElementWrapper(name="localDefinitionTypes")
	@XmlElement(name="string")
	private String[] localDefinitionTypes = {"VarInstance", "ConstDef", "TimerInstance", "PortInstance"};
	private boolean checkTypeDefOrderInGroup = true;
	private boolean checkPortMessageGrouping = true;
@@ -44,6 +51,8 @@ public class QualityCheckProfile extends ConfigurationProfile {
    private boolean checkNoUninitializedFieldsInTemplatesRecursion = false;
    private boolean checkNoZeroOrMultipleFieldsInUnionTemplates = false;
    private boolean checkNoUninitialisedVariables = true;
	@XmlElementWrapper(name="checkNoUninitialisedVariablesExclude")
	@XmlElement(name="string")
	private String[] checkNoUninitialisedVariablesExclude = {"enumerated", "union", "record", "record of", "set", "set of"};
	private boolean checkNoLiterals = true;
	private boolean checkNoValueOfForValues = true;
+2 −0
Original line number Diff line number Diff line
package de.ugoe.cs.swe.TTCN3Configuration;

import de.ugoe.cs.swe.common.ToolConfiguration;
import jakarta.xml.bind.annotation.XmlRootElement;

@XmlRootElement(name = "T3QConfig")
public class T3QConfig extends ToolConfiguration {
}
Loading