sysml-cli/hu.bme.mit.semantifyr.frontends.sysml.cli

Package-level declarations

Types

SemantifyrSysMLCommand

class SemantifyrSysMLCommand @Inject constructor(verifyCommand: SysMLVerifyCommand, compileCommand: SysMLCompileCommand) : RootCommand

SysMLCompileCommand

class SysMLCompileCommand : SuspendingCliktCommand

SysMLVerifyCommand

class SysMLVerifyCommand @Inject constructor(verificationCaseDiscoverer: VerificationCaseDiscoverer, injector: Injector) : SuspendingCliktCommand

Functions

suspend fun main(arguments: Array<String>)