Skip to content
Snippets Groups Projects
Commit 6bde1b7e authored by apvrille's avatar apvrille
Browse files

restoring idea configuration

parent 34012489
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 171 additions and 42 deletions
.idea/codeStyles/Project.xml 0 → 100644
+ 7
− 0
View file @ 6bde1b7e
<component name="ProjectCodeStyleConfiguration">
<code_scheme name="Project" version="173">
<option name="LINE_SEPARATOR" value="&#10;" />
<option name="RIGHT_MARGIN" value="150" />
<option name="WRAP_WHEN_TYPING_REACHES_RIGHT_MARGIN" value="true" />
</code_scheme>
</component>
\ No newline at end of file
.idea/codeStyles/codeStyleConfig.xml 0 → 100644
+ 6
− 0
View file @ 6bde1b7e
<component name="ProjectCodeStyleConfiguration">
<state>
<option name="USE_PER_PROJECT_SETTINGS" value="true" />
<option name="PREFERRED_PROJECT_CODE_STYLE" value="Default" />
</state>
</component>
\ No newline at end of file
.idea/encodings.xml 0 → 100644
+ 4
− 0
View file @ 6bde1b7e
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="Encoding" addBOMForNewFiles="with NO BOM" />
</project>
\ No newline at end of file
.idea/inspectionProfiles/Project_Default.xml 0 → 100644
+ 27
− 0
View file @ 6bde1b7e
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
<inspection_tool class="DeprecatedIsStillUsed" enabled="true" level="ERROR" enabled_by_default="true" />
<inspection_tool class="Deprecation" enabled="true" level="ERROR" enabled_by_default="true" />
<inspection_tool class="ListIndexOfReplaceableByContains" enabled="true" level="WARNING" enabled_by_default="true" />
<inspection_tool class="LongLine" enabled="true" level="WEAK WARNING" enabled_by_default="true" />
<inspection_tool class="OverlyStrongTypeCast" enabled="true" level="WARNING" enabled_by_default="true">
<option name="ignoreInMatchingInstanceof" value="false" />
</inspection_tool>
<inspection_tool class="SystemOutErr" enabled="true" level="WARNING" enabled_by_default="false">
<scope name="Prod" level="WARNING" enabled="true" />
</inspection_tool>
<inspection_tool class="TypeMayBeWeakened" enabled="true" level="WARNING" enabled_by_default="true">
<option name="useRighthandTypeAsWeakestTypeInAssignments" value="true" />
<option name="useParameterizedTypeForCollectionMethods" value="true" />
<option name="doNotWeakenToJavaLangObject" value="true" />
<option name="onlyWeakentoInterface" value="true" />
</inspection_tool>
<inspection_tool class="WeakerAccess" enabled="true" level="WARNING" enabled_by_default="true">
<option name="SUGGEST_PACKAGE_LOCAL_FOR_MEMBERS" value="false" />
<option name="SUGGEST_PACKAGE_LOCAL_FOR_TOP_CLASSES" value="false" />
<option name="SUGGEST_PRIVATE_FOR_INNERS" value="false" />
<disabledExtension id="moduleInfo" />
</inspection_tool>
</profile>
</component>
\ No newline at end of file
.idea/libraries/libs.xml
+ 20
− 18
View file @ 6bde1b7e
<component name="libraryTable">
<library name="libs">
<CLASSES>
<root url="jar://$PROJECT_DIR$/libs/commons-math3-3.6.1.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/jautomata-core.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-svggen.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/crawler.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/dom4j-1.6.1.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-io-2.5.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/gs-core-1.3.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/JavaPlot.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/jaxen-1.1.6.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/jsoup-1.8.1.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-io-2.5-javadoc.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/gs-ui-1.3.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/opencloud.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-dom.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/derby.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/hamcrest-core-1.3.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-codec-1.10.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/jaxen-1.1.6.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-io-2.5.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-io-2.5-javadoc.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-io-2.4.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/JavaPlot.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/derbynet.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/junit-4.12.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/derbyclient-10.9.1.0.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/derby.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-math3-3.6.1.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-awt-util.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-xml.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-dom.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-svggen.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-util.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/hamcrest-core-1.3.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/gs-ui-1.3.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/crawler.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/derbynet.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/jna-3.3.0.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/commons-io-2.4.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/batik-xml.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/jautomata-core.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/com.microsoft.z3.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/dom4j-1.6.1.jar!/" />
<root url="jar://$PROJECT_DIR$/libs/jna-3.3.0.jar!/" />
</CLASSES>
<JAVADOC />
<JAVADOC>
<root url="jar://$PROJECT_DIR$/libs/commons-io-2.5-javadoc.jar!/" />
</JAVADOC>
<SOURCES />
</library>
</component>
\ No newline at end of file
.idea/misc.xml
+ 41
− 3
View file @ 6bde1b7e
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" project-jdk-name="1.8" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/out" />
<component name="ClientPropertiesManager">
<properties class="javax.swing.AbstractButton">
<property name="hideActionText" class="java.lang.Boolean" />
</properties>
<properties class="javax.swing.JComponent">
<property name="html.disable" class="java.lang.Boolean" />
</properties>
<properties class="javax.swing.JEditorPane">
<property name="JEditorPane.w3cLengthUnits" class="java.lang.Boolean" />
<property name="JEditorPane.honorDisplayProperties" class="java.lang.Boolean" />
<property name="charset" class="java.lang.String" />
</properties>
<properties class="javax.swing.JList">
<property name="List.isFileList" class="java.lang.Boolean" />
</properties>
<properties class="javax.swing.JPasswordField">
<property name="JPasswordField.cutCopyAllowed" class="java.lang.Boolean" />
</properties>
<properties class="javax.swing.JSlider">
<property name="Slider.paintThumbArrowShape" class="java.lang.Boolean" />
<property name="JSlider.isFilled" class="java.lang.Boolean" />
</properties>
<properties class="javax.swing.JTable">
<property name="Table.isFileList" class="java.lang.Boolean" />
<property name="JTable.autoStartsEdit" class="java.lang.Boolean" />
<property name="terminateEditOnFocusLost" class="java.lang.Boolean" />
</properties>
<properties class="javax.swing.JToolBar">
<property name="JToolBar.isRollover" class="java.lang.Boolean" />
</properties>
<properties class="javax.swing.JTree">
<property name="JTree.lineStyle" class="java.lang.String" />
</properties>
<properties class="javax.swing.text.JTextComponent">
<property name="caretAspectRatio" class="java.lang.Double" />
<property name="caretWidth" class="java.lang.Integer" />
</properties>
</component>
</project>
\ No newline at end of file
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" project-jdk-name="1.8" project-jdk-type="JavaSDK">
<output url="file://$PROJECT_DIR$/build" />
</component>
</project>
.idea/modules.xml
+ 12
− 19
View file @ 6bde1b7e
......@@ -2,25 +2,18 @@
<project version="4">
<component name="ProjectModuleManager">
<modules>
<module fileurl="file://$PROJECT_DIR$/TTool.iml" filepath="$PROJECT_DIR$/TTool.iml" />
<module fileurl="file://$PROJECT_DIR$/android/android.iml" filepath="$PROJECT_DIR$/android/android.iml" />
<module fileurl="file://$PROJECT_DIR$/executablecode/executablecode.iml" filepath="$PROJECT_DIR$/executablecode/executablecode.iml" />
<module fileurl="file://$PROJECT_DIR$/extra/extra.iml" filepath="$PROJECT_DIR$/extra/extra.iml" />
<module fileurl="file://$PROJECT_DIR$/graphminimize/src/main/main.iml" filepath="$PROJECT_DIR$/graphminimize/src/main/main.iml" />
<module fileurl="file://$PROJECT_DIR$/launcher/src/main/main1.iml" filepath="$PROJECT_DIR$/launcher/src/main/main1.iml" />
<module fileurl="file://$PROJECT_DIR$/webcrawler/client/src/main/main10.iml" filepath="$PROJECT_DIR$/webcrawler/client/src/main/main10.iml" />
<module fileurl="file://$PROJECT_DIR$/jttool/src/main/main11.iml" filepath="$PROJECT_DIR$/jttool/src/main/main11.iml" />
<module fileurl="file://$PROJECT_DIR$/tmltranslator/src/main/main12.iml" filepath="$PROJECT_DIR$/tmltranslator/src/main/main12.iml" />
<module fileurl="file://$PROJECT_DIR$/rundse/src/main/main2.iml" filepath="$PROJECT_DIR$/rundse/src/main/main2.iml" />
<module fileurl="file://$PROJECT_DIR$/tiftranslator/src/main/main3.iml" filepath="$PROJECT_DIR$/tiftranslator/src/main/main3.iml" />
<module fileurl="file://$PROJECT_DIR$/src/main/main4.iml" filepath="$PROJECT_DIR$/src/main/main4.iml" />
<module fileurl="file://$PROJECT_DIR$/graphshow/src/main/main5.iml" filepath="$PROJECT_DIR$/graphshow/src/main/main5.iml" />
<module fileurl="file://$PROJECT_DIR$/ttool-cli/src/main/main6.iml" filepath="$PROJECT_DIR$/ttool-cli/src/main/main6.iml" />
<module fileurl="file://$PROJECT_DIR$/ttool/src/main/main7.iml" filepath="$PROJECT_DIR$/ttool/src/main/main7.iml" />
<module fileurl="file://$PROJECT_DIR$/simulationcontrol/src/main/main8.iml" filepath="$PROJECT_DIR$/simulationcontrol/src/main/main8.iml" />
<module fileurl="file://$PROJECT_DIR$/webcrawler/server/src/main/main9.iml" filepath="$PROJECT_DIR$/webcrawler/server/src/main/main9.iml" />
<module fileurl="file://$PROJECT_DIR$/plugins/plugins.iml" filepath="$PROJECT_DIR$/plugins/plugins.iml" />
<module fileurl="file://$PROJECT_DIR$/ttool/src/test/test.iml" filepath="$PROJECT_DIR$/ttool/src/test/test.iml" />
<module fileurl="file://$PROJECT_DIR$/graphminimize/src/main/graphminimize.iml" filepath="$PROJECT_DIR$/graphminimize/src/main/graphminimize.iml" />
<module fileurl="file://$PROJECT_DIR$/graphshow/src/main/graphshow.iml" filepath="$PROJECT_DIR$/graphshow/src/main/graphshow.iml" />
<module fileurl="file://$PROJECT_DIR$/launcher/src/main/launcher.iml" filepath="$PROJECT_DIR$/launcher/src/main/launcher.iml" />
<module fileurl="file://$PROJECT_DIR$/simulationcontrol/src/main/remotesimulator.iml" filepath="$PROJECT_DIR$/simulationcontrol/src/main/remotesimulator.iml" />
<module fileurl="file://$PROJECT_DIR$/rundse/src/main/rundse.iml" filepath="$PROJECT_DIR$/rundse/src/main/rundse.iml" />
<module fileurl="file://$PROJECT_DIR$/src/main/shared.iml" filepath="$PROJECT_DIR$/src/main/shared.iml" />
<module fileurl="file://$PROJECT_DIR$/tiftranslator/src/main/tiftranslator.iml" filepath="$PROJECT_DIR$/tiftranslator/src/main/tiftranslator.iml" />
<module fileurl="file://$PROJECT_DIR$/tmltranslator/src/main/tmltranslator.iml" filepath="$PROJECT_DIR$/tmltranslator/src/main/tmltranslator.iml" />
<module fileurl="file://$PROJECT_DIR$/ttool/src/main/ttool.iml" filepath="$PROJECT_DIR$/ttool/src/main/ttool.iml" />
<module fileurl="file://$PROJECT_DIR$/ttool-cli/ttool-cli.iml" filepath="$PROJECT_DIR$/ttool-cli/ttool-cli.iml" />
<module fileurl="file://$PROJECT_DIR$/webcrawler/client/src/main/webcrawler-client.iml" filepath="$PROJECT_DIR$/webcrawler/client/src/main/webcrawler-client.iml" />
<module fileurl="file://$PROJECT_DIR$/webcrawler/server/src/main/webcrawler-server.iml" filepath="$PROJECT_DIR$/webcrawler/server/src/main/webcrawler-server.iml" />
</modules>
</component>
</project>
\ No newline at end of file
.idea/runConfigurations/All_in_ttool.xml 0 → 100644
+ 25
− 0
View file @ 6bde1b7e
<component name="ProjectRunConfigurationManager">
<configuration default="false" name="All in ttool" type="JUnit" factoryName="JUnit" nameIsGenerated="true">
<extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
<module name="ttool" />
<option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
<option name="ALTERNATIVE_JRE_PATH" />
<option name="PACKAGE_NAME" value="" />
<option name="MAIN_CLASS_NAME" value="" />
<option name="METHOD_NAME" value="" />
<option name="TEST_OBJECT" value="package" />
<option name="VM_PARAMETERS" value="-ea" />
<option name="PARAMETERS" value="" />
<option name="WORKING_DIRECTORY" value="file://ttool/build" />
<option name="ENV_VARIABLES" />
<option name="PASS_PARENT_ENVS" value="true" />
<option name="TEST_SEARCH_SCOPE">
<value defaultName="singleModule" />
</option>
<envs />
<patterns />
<method>
<option name="Make" enabled="false" />
</method>
</configuration>
</component>
\ No newline at end of file
.idea/runConfigurations/TTool.xml 0 → 100644
+ 24
− 0
View file @ 6bde1b7e
<component name="ProjectRunConfigurationManager">
<configuration default="false" name="TTool" type="Application" factoryName="Application">
<extension name="coverage" enabled="false" merge="false" sample_coverage="true" runner="idea" />
<option name="MAIN_CLASS_NAME" value="Main" />
<option name="VM_PARAMETERS" value="" />
<option name="PROGRAM_PARAMETERS" value="-debug -proverif -experimental -config bin/config.xml" />
<option name="WORKING_DIRECTORY" value="file://$PROJECT_DIR$" />
<option name="ALTERNATIVE_JRE_PATH_ENABLED" value="false" />
<option name="ALTERNATIVE_JRE_PATH" />
<option name="ENABLE_SWING_INSPECTOR" value="false" />
<option name="ENV_VARIABLES" />
<option name="PASS_PARENT_ENVS" value="true" />
<module name="ttool" />
<envs />
<method>
<option name="BuildArtifacts" enabled="true">
<artifact name="dependencies" />
</option>
<option name="BuildArtifacts" enabled="true">
<artifact name="ttool.jar" />
</option>
</method>
</configuration>
</component>
\ No newline at end of file
.idea/scopes/Prod.xml 0 → 100644
+ 3
− 0
View file @ 6bde1b7e
<component name="DependencyValidationManager">
<scope name="Prod" pattern="src[shared]:*..*" />
</component>
\ No newline at end of file
.idea/vcs.xml
+ 2
− 1
View file @ 6bde1b7e
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="VcsDirectoryMappings">
<mapping directory="" vcs="Git" />
<mapping directory="$PROJECT_DIR$" vcs="Git" />
<mapping directory="$PROJECT_DIR$/MPSoC/mutekh" vcs="hg4idea" />
</component>
</project>
\ No newline at end of file
src/main/java/tmltranslator/TMLTask.java
+ 0
− 1
View file @ 6bde1b7e
......@@ -463,7 +463,6 @@ public class TMLTask extends TMLElement {
}
//TraceManager.addDev("Handling task:" + getTaskName());
return activity.getWorstCaseIComplexity();
}
}
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment