riseclipse/riseclipse-validator-scl repository overview

% java -jar RiseClipseValidatorSCL-1.2.7.jar --help
INFO    : Copyright (c) 2016-2024 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    :     [email protected]
INFO    :     [email protected]
INFO    : Web site:
INFO    :     https://riseclipse.github.io/
INFO    :
INFO    : RiseClipseValidatorSCL version: 1.2.7 (16 May 2024)
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    : 	files ending with ".zip" are decompressed and each file inside is taken into account,
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.
INFO    : 		Warnings are displayed when problems are detected. Infos are displayed about explicit links being made.
INFO    : 		Verbosity is about how explicit links are made.
INFO    : 	--display-nsd-messages
INFO    : 		Only errors detected in NSD files are displayed by default.
INFO    : 		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    : 	--use-different-exit-codes
INFO    : 		Normal exit code of validator is 1 if there is any validation error, 0 otherwise.
INFO    : 		If this option is used, exit code is 1 if there is any validation error,
INFO    : 		2 if there is any warning but no error, 3 if there is any notice message but no warning or error,
INFO    : 		4 if there is any info message but no notice or warning or error, 0 otherwise.
INFO    : 	--help-environment
INFO    : 		Environment variables used are displayed.

% java -jar RiseClipseValidatorSCL-1.2.7.jar --help-environment
INFO    : Copyright (c) 2016-2024 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    :     [email protected]
INFO    :     [email protected]
INFO    : Web site:
INFO    :     https://riseclipse.github.io/
INFO    :
INFO    : RiseClipseValidatorSCL version: 1.2.7 (16 May 2024)
INFO    :
INFO    : The folowing environment variables may be used in addition to command line options, however, the latter have precedence.
INFO    : 	RISECLIPSE_CONSOLE_LEVEL: if its value is one of (ignoring case) ERROR, WARNING, NOTICE, INFO or DEBUG, then the corresponding level is set, otherwise the variable is ignored.
INFO    : 	RISECLIPSE_OUTPUT_FILE: name of the output file for messages.
INFO    : 	RISECLIPSE_FORMAT_STRING: string used to format messages (see description of --format-string option).
INFO    : 	RISECLIPSE_USE_COLOR: if its value is not equal to FALSE (ignoring case), it is equivalent to the use of --use-color option.
INFO    : 	RISECLIPSE_MAKE_EXPLICIT_LINKS: if its value is not equal to FALSE (ignoring case), it is equivalent to the use of --make-explicit-links option.
INFO    : 	RISECLIPSE_DISPLAY_NSD_MESSAGES: if its value is not equal to FALSE (ignoring case), it is equibvalent to the use of --display-nsd-messages option.
INFO    : 	RISECLIPSE_DO_NOT_DISPLAY_COPYRIGHT: if its value is not equal to FALSE (ignoring case), it is equivalent to the use of --do-not-display-copyright option.
INFO    : 	RISECLIPSE_USE_FILENAMES_STARTING_WITH_DOT: if its value is not equal to FALSE (ignoring case), it is equivalent to the use of --use-filenames-starting-with-dot option.
INFO    : 	RISECLIPSE_USE_DIFFERENT_EXIT_CODES: if its value is not equal to FALSE (ignoring case), it is equivalent to the use of --use-different-exit-codes option.