1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
XMLFormat
{ XML.specInternalVars = Nothing
, XML.specInternalVarId = ("//*", Nothing)
, XML.specInternalVarExpr = ("//*", Nothing)
, XML.specInternalVarType = Nothing
, XML.specExternalVars = Nothing
, XML.specExternalVarId = ("//*", Nothing)
, XML.specExternalVarType = Nothing
, XML.specRequirements = ("//sysml:Requirement", Nothing)
, XML.specRequirementId = ("//sysml:Requirement/@Id/text()", Nothing)
, XML.specRequirementDesc = Just ("//sysml:Requirement/@Id/text()", Nothing)
, XML.specRequirementExpr = ("//sysml:Requirement/@Text/text()", Nothing)
, XML.specRequirementResultType = Nothing
, XML.specRequirementResultExpr = Nothing
}
|
