Coverage Report

Coverage Report - net.sourceforge.jeuclid.elements.support.operatordict.OperatorDictionary

Classes in this File

 /*
  * Copyright 2002 - 2008 JEuclid, http://jeuclid.sf.net
  * 
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  *
  *      http://www.apache.org/licenses/LICENSE-2.0
  *
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
 
 /* $Id: OperatorDictionary.java,v 241d8c4d0dc1 2009/09/04 14:15:03 max $ */
 
 package net.sourceforge.jeuclid.elements.support.operatordict;
 
 /**
  * Interface for operator dictionaries.
  * 
  * @version $Revision: 241d8c4d0dc1 $
  */
 public interface OperatorDictionary {
 
     /**
      * name for VERYVERYTHINMATHSPACE size of math space.
      */
     String NAME_VERYVERYTHINMATHSPACE = "veryverythinmathspace";
 
     /**
      * name for VERYTHINMATHSPACE size of math space.
      */
     String NAME_VERYTHINMATHSPACE = "verythinmathspace";
 
     /**
      * name for THINMATHSPACE size of math space.
      */
     String NAME_THINMATHSPACE = "thinmathspace";
 
     /**
      * name for MEDIUMMATHSPACE size of math space.
      */
     String NAME_MEDIUMMATHSPACE = "mediummathspace";
 
     /**
      * name for THICKMATHSPACE size of math space.
      */
     String NAME_THICKMATHSPACE = "thickmathspace";
 
     /**
      * name for VERYTHICKMATHSPACE size of math space.
      */
     String NAME_VERYTHICKMATHSPACE = "verythickmathspace";
 
     /**
      * name for VERYVERYTHICKMATHSPACE size of math space.
      */
     String NAME_VERYVERYTHICKMATHSPACE = "veryverythickmathspace";
 
     /**
      * name for INFINITY size of math space.
      */
     String NAME_INFINITY = "infinity";
 
     /** Form value for prefix. */
     String FORM_PREFIX = "prefix";
 
     /** form value for infix. */
     String FORM_INFIX = "infix";
 
     /** form value for postfix. */
     String FORM_POSTFIX = "postfix";
 
     /**
      * This value is returned, when default value of operator attribute doesn't
      * exist in this dictionary so far.
      */
     String VALUE_UNKNOWN = "NULL";
 
     /**
      * Determines default value of the operator attribute.
      * 
      * @param operator
      *            operator character
      * @param form
      *            form string
      * @param attributeName
      *            name of attribute
      * @return VALUE_UNKOWN or value from dict.
      * @throws UnknownAttributeException
      *             Raised, if wrong attributeName was provided.
      */
     String getDefaultAttributeValue(final String operator, final String form,
             final String attributeName) throws UnknownAttributeException;
 
 }

1		/*
2		* Copyright 2002 - 2008 JEuclid, http://jeuclid.sf.net
3		*
4		* Licensed under the Apache License, Version 2.0 (the "License");
5		* you may not use this file except in compliance with the License.
6		* You may obtain a copy of the License at
7		*
8		* http://www.apache.org/licenses/LICENSE-2.0
9		*
10		* Unless required by applicable law or agreed to in writing, software
11		* distributed under the License is distributed on an "AS IS" BASIS,
12		* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13		* See the License for the specific language governing permissions and
14		* limitations under the License.
15		*/
16
17		/* $Id: OperatorDictionary.java,v 241d8c4d0dc1 2009/09/04 14:15:03 max $ */
18
19		package net.sourceforge.jeuclid.elements.support.operatordict;
20
21		/**
22		* Interface for operator dictionaries.
23		*
24		* @version $Revision: 241d8c4d0dc1 $
25		*/
26		public interface OperatorDictionary {
27
28		/**
29		* name for VERYVERYTHINMATHSPACE size of math space.
30		*/
31		String NAME_VERYVERYTHINMATHSPACE = "veryverythinmathspace";
32
33		/**
34		* name for VERYTHINMATHSPACE size of math space.
35		*/
36		String NAME_VERYTHINMATHSPACE = "verythinmathspace";
37
38		/**
39		* name for THINMATHSPACE size of math space.
40		*/
41		String NAME_THINMATHSPACE = "thinmathspace";
42
43		/**
44		* name for MEDIUMMATHSPACE size of math space.
45		*/
46		String NAME_MEDIUMMATHSPACE = "mediummathspace";
47
48		/**
49		* name for THICKMATHSPACE size of math space.
50		*/
51		String NAME_THICKMATHSPACE = "thickmathspace";
52
53		/**
54		* name for VERYTHICKMATHSPACE size of math space.
55		*/
56		String NAME_VERYTHICKMATHSPACE = "verythickmathspace";
57
58		/**
59		* name for VERYVERYTHICKMATHSPACE size of math space.
60		*/
61		String NAME_VERYVERYTHICKMATHSPACE = "veryverythickmathspace";
62
63		/**
64		* name for INFINITY size of math space.
65		*/
66		String NAME_INFINITY = "infinity";
67
68		/** Form value for prefix. */
69		String FORM_PREFIX = "prefix";
70
71		/** form value for infix. */
72		String FORM_INFIX = "infix";
73
74		/** form value for postfix. */
75		String FORM_POSTFIX = "postfix";
76
77		/**
78		* This value is returned, when default value of operator attribute doesn't
79		* exist in this dictionary so far.
80		*/
81		String VALUE_UNKNOWN = "NULL";
82
83		/**
84		* Determines default value of the operator attribute.
85		*
86		* @param operator
87		* operator character
88		* @param form
89		* form string
90		* @param attributeName
91		* name of attribute
92		* @return VALUE_UNKOWN or value from dict.
93		* @throws UnknownAttributeException
94		* Raised, if wrong attributeName was provided.
95		*/
96		String getDefaultAttributeValue(final String operator, final String form,
97		final String attributeName) throws UnknownAttributeException;
98
99		}