-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathXML-GGXReader.html
More file actions
6 lines (6 loc) · 13.5 KB
/
XML-GGXReader.html
File metadata and controls
6 lines (6 loc) · 13.5 KB
1
2
3
4
5
6
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>XML.GGXReader</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_XML-GGXReader.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/XML.GGXReader.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">verigraph-1.1.1: Software specification and verification tool based on graph rewriting.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">XML.GGXReader</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:readGrammar">readGrammar</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> (<a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b), <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b), [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a>)])</li><li class="src short"><a href="#v:readGGName">readGGName</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a></li><li class="src short"><a href="#v:readName">readName</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>]</li><li class="src short"><a href="#v:readNames">readNames</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-String.html#t:String">String</a>)]</li><li class="src short"><a href="#v:readTypeGraph">readTypeGraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [ParsedTypeGraph]</li><li class="src short"><a href="#v:readRules">readRules</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [RuleWithNacs]</li><li class="src short"><a href="#v:readGraphs">readGraphs</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b)]</li><li class="src short"><a href="#v:readSequences">readSequences</a> :: <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b) -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, [<a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b])]</li><li class="src short"><a href="#v:readSequencesWithObjectFlow">readSequencesWithObjectFlow</a> :: <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b) -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b)], [<a href="Grammar-Core.html#t:ObjectFlow">ObjectFlow</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b)])]</li><li class="src short"><a href="#v:instantiateRule">instantiateRule</a> :: TypeGraph a b -> RuleWithNacs -> <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b</li><li class="src short"><a href="#v:instantiateSpan">instantiateSpan</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> [Mapping] -> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b, <a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b)</li><li class="src short"><a href="#v:minimalSafetyNacsWithLog">minimalSafetyNacsWithLog</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b) -> (<a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b), [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a>)])</li><li class="src short"><a href="#v:printMinimalSafetyNacsLog">printMinimalSafetyNacsLog</a> :: [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a>)] -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:readGrammar" class="def">readGrammar</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> -> <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> (<a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b), <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b), [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a>)]) <a href="src/XML.GGXReader.html#readGrammar" class="link">Source</a> <a href="#v:readGrammar" class="selflink">#</a></p><div class="doc"><p>Reads the grammar in the XML, adds the needed minimal safety nacs
to second order, and returns the grammar and a log</p></div></div><div class="top"><p class="src"><a id="v:readGGName" class="def">readGGName</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> <a href="src/XML.GGXReader.html#readGGName" class="link">Source</a> <a href="#v:readGGName" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:readName" class="def">readName</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] <a href="src/XML.GGXReader.html#readName" class="link">Source</a> <a href="#v:readName" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:readNames" class="def">readNames</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-String.html#t:String">String</a>)] <a href="src/XML.GGXReader.html#readNames" class="link">Source</a> <a href="#v:readNames" class="selflink">#</a></p><div class="doc"><p>Reads the names of node/edge types and NACs, which are necessary when reexporting this grammar.</p><p>To lookup the name of a node type, use <code><a href="I.html">I</a> ++ show nodeId</code> as key, where <code>nodeId</code> is the ID of
the node in the type graph. Lookup of edge types is analogous.</p></div></div><div class="top"><p class="src"><a id="v:readTypeGraph" class="def">readTypeGraph</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [ParsedTypeGraph] <a href="src/XML.GGXReader.html#readTypeGraph" class="link">Source</a> <a href="#v:readTypeGraph" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:readRules" class="def">readRules</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [RuleWithNacs] <a href="src/XML.GGXReader.html#readRules" class="link">Source</a> <a href="#v:readRules" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:readGraphs" class="def">readGraphs</a> :: <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b)] <a href="src/XML.GGXReader.html#readGraphs" class="link">Source</a> <a href="#v:readGraphs" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:readSequences" class="def">readSequences</a> :: <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b) -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, [<a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b])] <a href="src/XML.GGXReader.html#readSequences" class="link">Source</a> <a href="#v:readSequences" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:readSequencesWithObjectFlow" class="def">readSequencesWithObjectFlow</a> :: <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b) -> <a href="../base-4.9.1.0/Data-String.html#t:String">String</a> -> <a href="../base-4.9.1.0/System-IO.html#t:IO">IO</a> [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b)], [<a href="Grammar-Core.html#t:ObjectFlow">ObjectFlow</a> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b)])] <a href="src/XML.GGXReader.html#readSequencesWithObjectFlow" class="link">Source</a> <a href="#v:readSequencesWithObjectFlow" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:instantiateRule" class="def">instantiateRule</a> :: TypeGraph a b -> RuleWithNacs -> <a href="TypedGraph-DPO-GraphRule.html#t:GraphRule">GraphRule</a> a b <a href="src/XML.GGXReader.Span.html#instantiateRule" class="link">Source</a> <a href="#v:instantiateRule" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:instantiateSpan" class="def">instantiateSpan</a> :: <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> <a href="TypedGraph-Graph.html#t:TypedGraph">TypedGraph</a> a b -> [Mapping] -> (<a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b, <a href="TypedGraph-Morphism.html#t:TypedGraphMorphism">TypedGraphMorphism</a> a b) <a href="src/XML.GGXReader.Span.html#instantiateSpan" class="link">Source</a> <a href="#v:instantiateSpan" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:minimalSafetyNacsWithLog" class="def">minimalSafetyNacsWithLog</a> :: <a href="Abstract-AdhesiveHLR.html#t:MorphismsConfig">MorphismsConfig</a> -> <a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b) -> (<a href="Grammar-Core.html#t:Grammar">Grammar</a> (<a href="SndOrder-Morphism.html#t:RuleMorphism">RuleMorphism</a> a b), [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a>)]) <a href="src/XML.GGXReader.html#minimalSafetyNacsWithLog" class="link">Source</a> <a href="#v:minimalSafetyNacsWithLog" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:printMinimalSafetyNacsLog" class="def">printMinimalSafetyNacsLog</a> :: [(<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>, <a href="../base-4.9.1.0/Data-Int.html#t:Int">Int</a>)] -> [<a href="../base-4.9.1.0/Data-String.html#t:String">String</a>] <a href="src/XML.GGXReader.html#printMinimalSafetyNacsLog" class="link">Source</a> <a href="#v:printMinimalSafetyNacsLog" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>