• Home
• dk.au.ece.vdmj
• annotations
• 4.4.6-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.4.6-P.source-code.tc-po.mappings Maven / Gradle / Ivy

##########################################################################################
# The class mapping definition for the VDMJ Proof Obligation Generator. See ClassMapper.
##########################################################################################

# annotations
package annotations.tc to annotations.po;
map TCTraceAnnotation{name, args} to PONullAnnotation(name, args);
map TCOverrideAnnotation{name, args} to PONullAnnotation(name, args);
map TCNoPOGAnnotation{name, args} to PONoPOGAnnotation(name, args);
map TCPrintfAnnotation{name, args} to PONullAnnotation(name, args);
map TCWarningAnnotation{name, args} to PONullAnnotation(name, args);
map TCOnFailAnnotation{name, args} to PONullAnnotation(name, args);