• Home
• dk.au.ece.vdmj
• annotations
• 4.6.0-P
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

j.annotations.4.6.0-P.source-code.tc-in.mappings Maven / Gradle / Ivy

##########################################################################################
# The annotation class mapping definition for the VDMJ Interpreter. See ClassMapper.
##########################################################################################

# annotations
package annotations.tc to annotations.in;
map TCTraceAnnotation{name, args} to INTraceAnnotation(name, args);
map TCOverrideAnnotation{name, args} to INNullAnnotation(name, args);
map TCNoPOGAnnotation{name, args} to INNullAnnotation(name, args);
map TCPrintfAnnotation{name, args} to INPrintfAnnotation(name, args);
map TCWarningAnnotation{name, args} to INNullAnnotation(name, args);
map TCOnFailAnnotation{name, args, format, doclinks} to INOnFailAnnotation(name, args, format, doclinks);
map TCSeparateAnnotation{name, args} to INSeparateAnnotation(name, args);
map TCDeadlineMetAnnotation{name, args} to INDeadlineMetAnnotation(name, args);
map TCSepRequireAnnotation{name, args} to INSepRequireAnnotation(name, args);
map TCDocLinkAnnotation{name, args} to INDocLinkAnnotation(name, args);