File: xml-reqif_smv

package info (click to toggle)
haskell-ogma-core 1.7.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: trixie
  • size: 584 kB
  • sloc: haskell: 2,268; cpp: 270; ansic: 176; makefile: 30; xml: 17
file content (15 lines) | stat: -rw-r--r-- 1,229 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
XMLFormat
    { specInternalVars          = Nothing
    , specInternalVarId         = ("//*", Nothing)
    , specInternalVarExpr       = ("//*", Nothing)
    , specInternalVarType       = Nothing
    , specExternalVars          = Nothing
    , specExternalVarId         = ("//*", Nothing)
    , specExternalVarType       = Nothing
    , specRequirements          = ("//SPEC-OBJECTS/SPEC-OBJECT/TYPE/SPEC-OBJECT-TYPE-REF[contains(text(),\"KEY\")]/../..", Just ("KEY", "//SPEC-OBJECT-TYPE[contains(@LONG-NAME, \"Requirement\")]/@IDENTIFIER/text()"))
    , specRequirementId         = ("//SPEC-OBJECT/@IDENTIFIER/text()", Nothing)
    , specRequirementDesc       = Just ("//ATTRIBUTE-VALUE-XHTML/DEFINITION/ATTRIBUTE-DEFINITION-XHTML-REF[contains(text(),'KEY')]/../../THE-VALUE/div/*", Just ("KEY", "//ATTRIBUTE-DEFINITION-XHTML[contains(@LONG-NAME, \"ReqIF.Name\")]/@IDENTIFIER/text()"))
    , specRequirementExpr       = ("//ATTRIBUTE-VALUE-XHTML/DEFINITION/ATTRIBUTE-DEFINITION-XHTML-REF[contains(text(),'KEY')]/../../THE-VALUE/div/*", Just ("KEY", "//ATTRIBUTE-DEFINITION-XHTML[contains(@LONG-NAME, \"ReqIF.Text\")]/@IDENTIFIER/text()"))
    , specRequirementResultType = Nothing
    , specRequirementResultExpr = Nothing
    }