org.eclipse.ocl.examples.standalone.validity
Class ValidateCommand

java.lang.Object
  org.eclipse.ocl.examples.standalone.StandaloneCommand
      org.eclipse.ocl.examples.standalone.validity.ValidateCommand

public class ValidateCommand
extends StandaloneCommand

The ValidateCommand provides model validation.

Nested Class Summary

protected static class	ValidateCommand.ExporterComparator
static class	ValidateCommand.ExporterToken An optional argument to specify which exporter should be used.
static class	ValidateCommand.ModelToken A mandatory argument key of the model file path.
static class	ValidateCommand.OutputToken An optional argument to define the output file path.
static class	ValidateCommand.RulesToken A mandatory argument used to define the paths to the OCL documents containing the constraints to evaluate.
static class	ValidateCommand.UsingToken An optional argument used if the user wishes to run all constraints or to only run the OCL, Java or UML constraints validation.

Nested classes/interfaces inherited from class org.eclipse.ocl.examples.standalone.StandaloneCommand

StandaloneCommand.CommandToken, StandaloneCommand.StringToken

Field Summary

ValidateCommand.ExporterToken	exporterToken
ValidateCommand.ModelToken	modelToken
ValidateCommand.OutputToken	outputToken
ValidateCommand.RulesToken	rulesToken
ValidateCommand.UsingToken	usingToken

Fields inherited from class org.eclipse.ocl.examples.standalone.StandaloneCommand

help, name, standaloneApplication, tokens

Constructor Summary

ValidateCommand(StandaloneApplication standaloneApplication)

Method Summary

StandaloneResponse	execute(java.util.Map<StandaloneCommand.CommandToken,java.util.List<java.lang.String>> token2strings)
protected static java.lang.String	getCheckedFileName(java.lang.String string)
static boolean	isWindows()

Methods inherited from class org.eclipse.ocl.examples.standalone.StandaloneCommand

addToken, check, getHelp, getName, getTokens, parse, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

exporterToken

@NonNull
public final ValidateCommand.ExporterToken exporterToken

modelToken

@NonNull
public final ValidateCommand.ModelToken modelToken

outputToken

@NonNull
public final ValidateCommand.OutputToken outputToken

rulesToken

@NonNull
public final ValidateCommand.RulesToken rulesToken

usingToken

@NonNull
public final ValidateCommand.UsingToken usingToken

Constructor Detail

ValidateCommand

public ValidateCommand(@NonNull
                       StandaloneApplication standaloneApplication)

Method Detail

getCheckedFileName

protected static java.lang.String getCheckedFileName(@NonNull
                                                     java.lang.String string)

isWindows

public static boolean isWindows()

execute

@NonNull
public StandaloneResponse execute(@NonNull
                                          java.util.Map<StandaloneCommand.CommandToken,java.util.List<java.lang.String>> token2strings)

Specified by:

execute in class StandaloneCommand