Skip to content

Commit 637e54f

Browse files
committed
add hide_in_mind_inspector annotation for rules and beliefs
1 parent 0d6aedd commit 637e54f

File tree

2 files changed

+18
-15
lines changed

2 files changed

+18
-15
lines changed

src/main/resources/asl/kqmlPlans.asl

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -103,11 +103,11 @@
103103
<- .findall(Ans, kqml::bel_no_source_self(NS::Content, Ans), List);
104104
.send(Sender, tell, List, MsgId).
105105

106-
kqml::clear_source_self([],[]).
107-
kqml::clear_source_self([source(self)|T],NT) :- kqml::clear_source_self(T,NT).
108-
kqml::clear_source_self([A|T], [A|NT]) :- A \== source(self) & kqml::clear_source_self(T,NT).
106+
kqml::clear_source_self([],[])[hide_in_mind_inspector].
107+
kqml::clear_source_self([source(self)|T],NT)[hide_in_mind_inspector] :- kqml::clear_source_self(T,NT).
108+
kqml::clear_source_self([A|T], [A|NT])[hide_in_mind_inspector] :- A \== source(self) & kqml::clear_source_self(T,NT).
109109

110-
kqml::bel_no_source_self(NS::Content, Ans) :-
110+
kqml::bel_no_source_self(NS::Content, Ans)[hide_in_mind_inspector] :-
111111
NS::Content[|LA] &
112112
kqml::clear_source_self(LA, NLA) &
113113
Content =.. [F,T,_] &

src/main/resources/xml/agInspection-nd.xsl

Lines changed: 14 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -111,17 +111,19 @@
111111
<xsl:for-each select="namespaces/namespace">
112112
<xsl:variable name="nsId" select="@id" />
113113
<xsl:for-each select="../../literal[@namespace=$nsId] | ../../rule[@namespace=$nsId]">
114-
<!-- xsl:sort select="structure/@functor" / -->
115-
<tr style="{$trh-style}">
116-
<td style="text-align: left">
117-
<xsl:if test="@namespace != 'default' and position()=1">
118-
<br/><b><xsl:value-of select="@namespace" /><xsl:text>::</xsl:text></b> <br/>
119-
</xsl:if>
120-
<span style="color: {$bc}">
121-
<xsl:apply-templates select="." />
122-
</span>
123-
</td>
124-
</tr>
114+
<xsl:if test="count(.//structure[@functor = 'hide_in_mind_inspector']) = 0">
115+
<!-- xsl:sort select="structure/@functor" / -->
116+
<tr style="{$trh-style}">
117+
<td style="text-align: left">
118+
<xsl:if test="@namespace != 'default' and position()=1">
119+
<br/><b><xsl:value-of select="@namespace" /><xsl:text>::</xsl:text></b> <br/>
120+
</xsl:if>
121+
<span style="color: {$bc}">
122+
<xsl:apply-templates select="." />
123+
</span>
124+
</td>
125+
</tr>
126+
</xsl:if>
125127
</xsl:for-each>
126128
</xsl:for-each>
127129
</table>
@@ -532,6 +534,7 @@
532534
<xsl:apply-templates />
533535
</xsl:template>
534536

537+
535538
<xsl:template match="rule">
536539
<xsl:apply-templates select="head"/>
537540
<font color="black"><b><xsl:text> :- </xsl:text></b></font>

0 commit comments

Comments
 (0)