More Info

AspectJML Online

What is this?

Functions:

Features:

Other Notes:

Shortcuts:

* shortcuts only work if 'focused' on code box

× File name is invalid! You must enter a valid AspectJML file name. Ex: Bank.java, Bank.aj or Bank.ajml

× Duplicate file! Each tab must have a unique name

Enabled	Flag	Description
	--Quiet	Shuts off all typechecking informational messages
	--callSiteInstrumentation	Enable call site instrumentation and checking
	--clientAwareChecking/Advising	Enable client-aware checking/advising technique for modular reasoning
	--defaultNonNull	Make reference paramenters, fields and method return types non_null by default
	--javadocBasedJML	Enable the use of javadoc with well-defined assertions declared within brackets
	--multipleSpecCaseChecking	Enable multiple specification case checking
	--noContractChecking	Don't generate runtime checks for contract checking
	--noExecutionSiteInstrumentation	Disable execution site instrumentation and checking
	--noRepresentsError	Consider the absence of represents clauses as Error
	--nocrosscutting	Disable the compilation of the implemented crosscutting structures in a modular fashion
	--nowrite	Only typechecks files, doesn't generate code
	--showWeaveInfo	Emit messages about weaving
	--verbose	Display verbose information during compilation

* Shortcuts for Aspect-Oriented Programming [AspectJ/AspectJML]

Shortcut	Description
{{ shortcut[0] }}	{{ shortcut[2] }}

* Shortcuts for Design by Contract Programming [JML/AspectJML]

Shortcut	Description
{{ shortcut[0] }}	{{ shortcut[2] }}

* Shortcuts for Java Programming

Shortcut	Description
{{ shortcut[0] }}	{{ shortcut[2] }}