Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@rtspecialty.com>2017-11-29 14:21:17 -0500
committerMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-09-11 09:30:50 -0400
commitb33f8bb999cab680bf648671e90c563afea93ba3 (patch)
tree66f0efa931e2a0a8c4d49e6962702e4343d2315e
parent7287783e3a7db00480352bea25ba6036454b3ae7 (diff)
downloadtame-b33f8bb999cab680bf648671e90c563afea93ba3.tar.gz
tame-b33f8bb999cab680bf648671e90c563afea93ba3.tar.bz2
tame-b33f8bb999cab680bf648671e90c563afea93ba3.zip
Add vector/length package
* vector/length.xml: New file.
-rw-r--r--core/test/core/suite.xml1
-rw-r--r--core/test/core/vector/length.xml143
-rw-r--r--core/vector/length.xml137
3 files changed, 281 insertions, 0 deletions
diff --git a/core/test/core/suite.xml b/core/test/core/suite.xml
index 61a9955..267ab5d 100644
--- a/core/test/core/suite.xml
+++ b/core/test/core/suite.xml
@@ -31,6 +31,7 @@
<import package="numeric/convert" />
<import package="numeric/percent" />
<import package="vector/interpolate" />
+ <import package="vector/length" />
<!-- XXX broken!
<import package="ui" />
-->
diff --git a/core/test/core/vector/length.xml b/core/test/core/vector/length.xml
new file mode 100644
index 0000000..8cba672
--- /dev/null
+++ b/core/test/core/vector/length.xml
@@ -0,0 +1,143 @@
+<?xml version="1.0"?>
+<!--
+ Copyright (C) 2017 LoVullo Associates, Inc.
+
+ This file is part of tame-core.
+
+ tame-core is free software: you can redistribute it and/or modify it
+ under the terms of the GNU Lesser General Public License as
+ published by the Free Software Foundation, either version 3 of the
+ License, or (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>.
+-->
+<package xmlns="http://www.lovullo.com/rater"
+ xmlns:c="http://www.lovullo.com/calc"
+ xmlns:t="http://www.lovullo.com/rater/apply-template"
+ desc="Interpolation specs">
+
+ <import package="../../spec" />
+
+ <import package="../../../base" />
+ <import package="../../../vector/length" />
+
+
+ <t:describe name="_first-nonempty_">
+ <t:describe name="given no vectors">
+ <t:it desc="yields an empty vector">
+ <t:given>
+ <c:length-of>
+ <t:first-nonempty />
+ </c:length-of>
+ </t:given>
+
+ <t:expect>
+ <t:match-result>
+ <c:eq>
+ <c:value-of name="#0" />
+ </c:eq>
+ </t:match-result>
+ </t:expect>
+ </t:it>
+ </t:describe>
+
+
+ <t:describe name="given only one empty vector">
+ <t:it desc="yields an empty vector">
+ <t:given>
+ <c:length-of>
+ <t:first-nonempty>
+ <c:set />
+ </t:first-nonempty>
+ </c:length-of>
+ </t:given>
+
+ <t:expect>
+ <t:match-result>
+ <c:eq>
+ <c:value-of name="#0" />
+ </c:eq>
+ </t:match-result>
+ </t:expect>
+ </t:it>
+ </t:describe>
+
+
+ <t:describe name="given only empty vectors">
+ <t:it desc="yields an empty vector">
+ <t:given>
+ <c:length-of>
+ <t:first-nonempty>
+ <c:set />
+ <c:set />
+ </t:first-nonempty>
+ </c:length-of>
+ </t:given>
+
+ <t:expect>
+ <t:match-result>
+ <c:eq>
+ <c:value-of name="#0" />
+ </c:eq>
+ </t:match-result>
+ </t:expect>
+ </t:it>
+ </t:describe>
+
+
+ <t:describe name="given first empty vector with non-empty">
+ <t:it desc="yields the second vector">
+ <t:given>
+ <c:car>
+ <t:first-nonempty>
+ <c:set />
+ <c:set>
+ <c:const value="50" desc="Non-empty vector" />
+ </c:set>
+ </t:first-nonempty>
+ </c:car>
+ </t:given>
+
+ <t:expect>
+ <t:match-result>
+ <c:eq>
+ <c:value-of name="#50" />
+ </c:eq>
+ </t:match-result>
+ </t:expect>
+ </t:it>
+ </t:describe>
+
+
+ <t:describe name="given two non-empty vectors">
+ <t:it desc="yields the first vector">
+ <t:given>
+ <c:car>
+ <t:first-nonempty>
+ <c:set>
+ <c:const value="60" desc="Non-empty vector" />
+ </c:set>
+ <c:set>
+ <c:const value="70" desc="Non-empty vector" />
+ </c:set>
+ </t:first-nonempty>
+ </c:car>
+ </t:given>
+
+ <t:expect>
+ <t:match-result>
+ <c:eq>
+ <c:value-of name="#60" />
+ </c:eq>
+ </t:match-result>
+ </t:expect>
+ </t:it>
+ </t:describe>
+ </t:describe>
+</package>
diff --git a/core/vector/length.xml b/core/vector/length.xml
new file mode 100644
index 0000000..3c23f10
--- /dev/null
+++ b/core/vector/length.xml
@@ -0,0 +1,137 @@
+<?xml version="1.0"?>
+<!--
+ Copyright (C) 2017 LoVullo Associates, Inc.
+
+ This file is part of tame-core.
+
+ tame-core is free software: you can redistribute it and/or modify it
+ under the terms of the GNU Lesser General Public License as
+ published by the Free Software Foundation, either version 3 of the
+ License, or (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>.
+-->
+<package xmlns="http://www.lovullo.com/rater"
+ xmlns:c="http://www.lovullo.com/calc"
+ xmlns:t="http://www.lovullo.com/rater/apply-template"
+ core="true"
+ desc="Operations Based on Vector Length">
+
+ <import package="../base" />
+ <import package="../numeric/common" export="true" />
+
+
+ See the respective test specification for examples.
+
+
+ <section title="Non-empty Vectors">
+ \ref{_first-nonempty_} will yield the result of the first toplevel
+ expression that is not an empty vector.
+ This template yields an empty vector if no non-empty vectors are found.
+
+ <template name="_first-nonempty_"
+ desc="Return the first non-empty vector">
+ <param name="@values@" desc="List of vectors" />
+
+
+ <c:let>
+ <c:values>
+ <!-- avoid having to copy @values@ multiple times -->
+ <c:value name="_list" type="float"
+ desc="Result of body expression">
+ <c:set>
+ <param-copy name="@values@" />
+ </c:set>
+ </c:value>
+ </c:values>
+
+
+ <c:apply name="_first_nonempty">
+ <c:arg name="list">
+ <c:value-of name="_list" />
+ </c:arg>
+
+ <c:arg name="index">
+ <c:const value="0" desc="First element" />
+ </c:arg>
+
+ <c:arg name="length">
+ <c:length-of>
+ <c:value-of name="_list" />
+ </c:length-of>
+ </c:arg>
+ </c:apply>
+ </c:let>
+ </template>
+
+
+ Its helper function is \ref{_first_nonempty},
+ which recurses through each vector element until a non-empty vector is
+ encountered.
+
+ <function name="_first_nonempty"
+ desc="Return the first non-empty vector">
+ <param name="list" type="float" set="vector"
+ desc="List of vectors to process" />
+
+ <param name="index" type="integer"
+ desc="Current index (for recursion), decrementing" />
+ <param name="length" type="integer"
+ desc="Length of list" />
+
+
+ <c:let>
+ <c:values>
+ <c:value name="cur_len" type="integer"
+ desc="Length of current vector">
+ <c:length-of>
+ <c:value-of name="list" index="index" />
+ </c:length-of>
+ </c:value>
+ </c:values>
+
+
+ <c:cases>
+ <!-- if none were found (end of list), return empty vector -->
+ <c:case>
+ <c:when name="index">
+ <c:gte>
+ <c:value-of name="length" />
+ </c:gte>
+ </c:when>
+
+ <c:set />
+ </c:case>
+
+ <!-- non-empty vector, return it -->
+ <c:case>
+ <c:when name="cur_len">
+ <c:gt>
+ <c:const value="0" desc="Vector length" />
+ </c:gt>
+ </c:when>
+
+ <c:value-of name="list" index="index" />
+ </c:case>
+
+ <!-- vector was empty, keep going (decrement index) -->
+ <c:otherwise>
+ <c:recurse>
+ <c:arg name="index">
+ <t:inc>
+ <c:value-of name="index" />
+ </t:inc>
+ </c:arg>
+ </c:recurse>
+ </c:otherwise>
+ </c:cases>
+ </c:let>
+ </function>
+ </section>
+</package>