Changeset 5b1390 in git

Timestamp:

Dec 20, 2013, 7:00:03 PM (9 years ago)

Author:

Jakob Kröker <kroeker@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

d1280f11e9d71dd9d45c276dfc5619bd557fba32

Parents:

4e4e24bd5220c690dc16529b1fb431b5ef67482c

git-author:

Jakob Kröker <kroeker@math.uni-hannover.de>2013-12-20 19:00:03+01:00

git-committer:

Jakob Kroeker <kroeker@uni-math.gwdg.de>2014-01-28 11:47:55+01:00

Message:

add optionIsSet proposal
added check if an option is valid to optionIsSet

File:

• Singular/LIB/ring.lib (modified) (2 diffs)

Singular/LIB/ring.lib

@@ -22 +22 @@
  rootofUnity(n);          the minimal polynomial for the n-th primitive root of unity
              (parameters in square brackets [] are optional)
+ optionIsSet(opt)         check if as a string given option is set or not.
 ";
 
@@ -27 +28 @@
 LIB "general.lib";
 LIB "primdec.lib";
+
+///////////////////////////////////////////////////////////////////////////////
+proc optionIsSet(string optionName)
+"
+USAGE:       @code{optionIsSet( optionName );}
+PARAMETERS:  @code{optionName}: a name(string) of an option of interest
+RETURN:      true, if the by  @code{optionName} given option is active, false otherwise.
+EXAMPLE:     example optionIsSet;
+"
+{
+   def op = option(get);
+   //sanity check, if option is valid. will raise an error if not
+   option(optionName);    option("no" + optionName);
+   option(set,op);
+   // first entry is currently a comment "//options:", which is not an option.
+   int pos = find(option(), optionName, 11 );
+   return(pos>0);
+}
+example
+{ 
+    // check if the option "warn" is set.
+    optionIsSet("warn");
+    option("warn");
+    // now the option is set
+    optionIsSet("warn");
+
+    option("nowarn");
+    // now the option is unset
+    optionIsSet("warn");
+}
+
+
+static proc testOptionIsSet()
+{
+     option("warn");
+     ASSUME(0, optionIsSet("warn") );
+     option("nowarn");
+     ASSUME(0, 0 == optionIsSet("warn") );
+}
+
 ///////////////////////////////////////////////////////////////////////////////