Fspec.adl

CONTEXT RAP
INCLUDE "AST.adl"

PATTERN Image
imageurl :: Image*URL
MEANING IN ENGLISH "The location of an image on the Internet."
VIEW Image: Image(PRIMHTML "<img src='", imageurl , PRIMHTML "'>")
ENDPATTERN

PATTERN Conceptual
ptpic::Pattern*Image[UNI]
MEANING IN ENGLISH "A conceptual diagram for a pattern."
cptpic::PlainConcept*Image[UNI]
MEANING IN ENGLISH "A conceptual diagram for a concept."
rrpic::Rule*Image[UNI]
MEANING IN ENGLISH "A conceptual diagram for a rule."
ENDPATTERN

PATTERN RuleEnforcement
SPEC Violation ISA Pair
rrviols::Rule*Violation
MEANING IN ENGLISH "The violations of a rule."
ENDPATTERN

PATTERN Misc
CONCEPT PragmaSentence "An example sentence using the pragma of a relation declaration." TYPE "Blob"
decexample :: Declaration * PragmaSentence
MEANING IN ENGLISH "An example sentence using the pragma of a relation."
ENDPATTERN
ENDCONTEXT