RiseClipse command line help for SCL validation jar

Help for using the command lines

% java -jar RiseClipseValidatorSCL-1.2.1.jar --help
INFO    : Copyright (c) 2016-2022 CentraleSupélec & EDF.
INFO    : All rights reserved. This program and the accompanying materials
INFO    : are made available under the terms of the Eclipse Public License v2.0
INFO    : which accompanies this distribution, and is available at
INFO    : https://www.eclipse.org/legal/epl-v20.html
INFO    :
INFO    : This tool is part of RiseClipse.
INFO    : Contributors:
INFO    :     Computer Science Department, CentraleSupélec
INFO    :     EDF R&D
INFO    : Contacts:
INFO    :     dominique.marcadet@centralesupelec.fr
INFO    :     aurelie.dehouck-neveu@edf.fr
INFO    : Web site:
INFO    :     https://riseclipse.github.io/
INFO    :
INFO    : RiseClipseValidatorSCL version: 1.2.1 (19 April 2022)
INFO    :
INFO    : java -jar RiseClipseValidatorSCL.jar option* file*
INFO    : 	Directories are searched recursively,
INFO    : 	Files ending with ".ocl" are considered OCL files,
INFO    : 	files ending with ".nsd" are considered NS files,
INFO    : 	files ending with ".snsd" are considered ServiceNS files,
INFO    : 	files ending with ".AppNS" are considered ApplicableServiceNS files (at most one should be given),
INFO    : 	files ending with ".nsdoc" are considered NSDoc files,
INFO    : 	case is ignored for all these extensions,
INFO    : 	all others are considered SCL files.
INFO    :
INFO    : The following options are recognized:
INFO    : 	--error
INFO    : 	--warning
INFO    : 	--notice
INFO    : 	--info
INFO    : 	--debug
INFO    : 		The amount of messages displayed is chosen according to this option, default is --warning.
INFO    : 	--output <file>
INFO    : 		messages are outputed in the given file.
INFO    : 	--xml-schema <file>
INFO    : 		A preliminary XML validation is done against the given XML schema file.
INFO    : 	--format-string <format-string>
INFO    : 		messages are outputed with a java.util.Formatter using the given format string,
INFO    : 		1$ is severity, 2$ is category, 3$ is line number, 4$ is message, 5$ is filename,
INFO    : 		6$ is color start, 7$ is color end (these last two are only used if the --use-color option is active),
INFO    : 		default is '%6$s%1$-7s%7$s: [%2$s] %4$s (%5$s:%3$d)'.
INFO    : 	--use-color
INFO    : 		colors (using ANSI escape sequences) are used when displaying messages.
INFO    : 	--make-explicit-links
INFO    : 		Implicit links in SCL files are made explicit, this is usually needed for complete validation. Warnings are displayed when problems are detected. Infos are displayed about explicit links being made. Verbosity is about how explicit links are made.
INFO    : 	--display-nsd-messages
INFO    : 		Only errors detected in NSD files are displayed by default. This option allows for other messages to be displayed (according to the chosen level).
INFO    : 	--do-not-display-copyright
INFO    : 		The tool information is not displayed at the beginning.
INFO    : 	--use-filenames-starting-with-dot
INFO    : 		Files whose name begins with a dot are not ignored.
INFO    : 	--help-environment
INFO    : 		Environment variables used are displayed.

Without the --output option, messages are written to the standard output, therefore redirection, using >fileName.txt at the end of the command line is also possible.

Example of use

java -jar RiseClipseValidatorSCL-1.2.1.jar --make-explicit-links fileToValidate.icd OCL NSD >Result.txt