Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: Updated version for fix / code style #86

Merged
merged 1 commit into from
Jun 19, 2024
Merged

chore: Updated version for fix / code style #86

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
<groupId>org.tzi.use</groupId>
<artifactId>use</artifactId>
<packaging>pom</packaging>
<version>7.1.0</version>
<version>7.1.1</version>
<modules>
<module>use-core</module>
<module>use-gui</module>
Expand Down
2 changes: 1 addition & 1 deletion use-assembly/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>use</artifactId>
<groupId>org.tzi.use</groupId>
<version>7.1.0</version>
<version>7.1.1</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
2 changes: 1 addition & 1 deletion use-core/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>use</artifactId>
<groupId>org.tzi.use</groupId>
<version>7.1.0</version>
<version>7.1.1</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
4 changes: 2 additions & 2 deletions use-core/src/main/java/org/tzi/use/analysis/coverage/AbstractCoverageVisitor.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,11 +19,11 @@

package org.tzi.use.analysis.coverage;

import java.util.Stack;

import org.tzi.use.uml.mm.*;
import org.tzi.use.uml.ocl.expr.*;

import java.util.Stack;

/**
* Abstract visitor implementation.
*
Expand Down
21 changes: 9 additions & 12 deletions use-core/src/main/java/org/tzi/use/config/Options.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,10 +29,7 @@
import java.net.URI;
import java.net.URISyntaxException;
import java.net.URL;
import java.nio.file.Files;
import java.nio.file.InvalidPathException;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.nio.file.*;
import java.util.LinkedList;
import java.util.List;
import java.util.prefs.Preferences;
Expand All @@ -45,7 +42,7 @@
public class Options {

// the release version
public static final String RELEASE_VERSION = "7.1.0";
public static final String RELEASE_VERSION = "7.1.1";

// the copyright
public static final String COPYRIGHT = "Copyright (C) 1999-2024 University of Bremen & " +
Expand Down Expand Up @@ -86,9 +83,9 @@ public class Options {
*/
public static String USE_HISTORY_PATH = ".use_history";

public static String LINE_SEPARATOR = System.getProperty("line.separator");
public static String LINE_SEPARATOR = System.lineSeparator();

public static String FILE_SEPARATOR = System.getProperty("file.separator");
public static String FILE_SEPARATOR = FileSystems.getDefault().getSeparator();

/**
* Name of the property giving the path to the monitor aspect template.
Expand Down Expand Up @@ -302,8 +299,8 @@ private static void printHelp() {
*/
public static void resetOptions() {
USE_HISTORY_PATH = ".use_history";
LINE_SEPARATOR = System.getProperty("line.separator");
FILE_SEPARATOR = System.getProperty("file.separator");
LINE_SEPARATOR = System.lineSeparator();
FILE_SEPARATOR = FileSystems.getDefault().getSeparator();
MONITOR_ASPECT_TEMPLATE = null;
homeDir = null;
compileOnly = false;
Expand All @@ -318,12 +315,12 @@ public static void resetOptions() {
explicitVariableDeclarations = true;
checkTransitions = true;
checkStateInvariants = false;
WarningType checkWarningsOclAnyInCollections = WarningType.WARN;
WarningType checkWarningsUnrelatedTypes = WarningType.WARN;
checkWarningsOclAnyInCollections = WarningType.WARN;
checkWarningsUnrelatedTypes = WarningType.WARN;
doPLUGIN = true;
pluginDir = null;
fDiagramDimension = new Dimension( 600, 600 );
TypedProperties props = null;
props = null;
specFilename = null;
cmdFilename = null;
lastDirectory = Paths.get(System.getProperty("user.dir"));
Expand Down
2 changes: 1 addition & 1 deletion use-gui/pom.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<parent>
<artifactId>use</artifactId>
<groupId>org.tzi.use</groupId>
<version>7.1.0</version>
<version>7.1.1</version>
</parent>
<modelVersion>4.0.0</modelVersion>

Expand Down
Loading