Method: static {...}

1: /*******************************************************************************
2: *
3: *        Copyright (C) 2008 Fujitsu Services Ltd.
4: *
5: *        Author: Nick Battle
6: *
7: *        This file is part of VDMJ.
8: *
9: *        VDMJ is free software: you can redistribute it and/or modify
10: *        it under the terms of the GNU General Public License as published by
11: *        the Free Software Foundation, either version 3 of the License, or
12: *        (at your option) any later version.
13: *
14: *        VDMJ is distributed in the hope that it will be useful,
15: *        but WITHOUT ANY WARRANTY; without even the implied warranty of
16: *        MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17: *        GNU General Public License for more details.
18: *
19: *        You should have received a copy of the GNU General Public License
20: *        along with VDMJ. If not, see <http://www.gnu.org/licenses/>.
21: *
22: ******************************************************************************/
23:
24: package org.overture.pog.pub;
25:
26: public enum POType
27: {
28:         CASES_EXHAUSTIVE("cases exhaustive"), EXT("extension"), FINITE_MAP(
29:                         "finite map"), FINITE_SET("finite set"), FUNC_APPLY(
30:                         "legal function application"), FUNC_COMPOSE("function compose"), FUNC_ITERATION(
31:                         "function iteration"), FUNC_PATTERNS("function parameter patterns"), FUNC_POST_CONDITION(
32:                         "function establishes postcondition"), FUNC_SATISFIABILITY(
33:                         "function postcondition satisfiable"), LET_BE_EXISTS(
34:                         "let be st existence"), MAP_APPLY("legal map application"), MAP_COMPATIBLE(
35:                         "map compatible"), MAP_COMPOSE("map compose"), MAP_INJ_ENUM(
36:                         "enumeration map injectivity"), MAP_INJ_COMP(
37:                         "comprehension map injectivity"), MAP_INVERSE("map inverse"), MAP_ITERATION(
38:                         "map iteration"), NON_EMPTY_SEQ("non-empty sequence"), NON_EMPTY_SET(
39:                         "non-empty set"), NON_ZERO("non-zero"), OP_CALL("operation call"), OP_POST_CONDITION(
40:                         "operation establishes postcondition"), OP_SATISFIABILITY(
41:                         "operation postcondition satisfiable"), OPERATION_PATTERNS(
42:                         "operation parameter patterns"), RECURSIVE("recursive function"), SEQ_APPLY(
43:                         "legal sequence application"), SEQ_MODIFICATION(
44:                         "sequence modification"), STATE_INV("state invariant holds"), STATE_INV_INIT(
45:                         "state invariant initialized"), STATE_INV_SAT(
46:                         "state invariant satisfiable"), TYPE_COMP("type compatibility"), TYPE_INV_SAT(
47:                         "type invariant satisfiable"), TUPLE_SELECT("tuple selection"), UNIQUE_EXISTENCE(
48:                         "unique existence binding"),
49:                         ORDERED("ordered"),
50:                         STRICT_ORDER("strict order relation"),
51:                         EQUIV_REL( "equivalence relation"),
52:                         VALUE_BINDING("value binding"),
53:                         WHILE_LOOP( "while loop termination"),
54:                         SET_MEMBER("set membership"),
55:                         SEQ_MEMBER("sequence membership");
56:
57:         private String kind;
58:
59:         POType(String kind)
60:         {
61:                 this.kind = kind;
62:         }
63:
64:         @Override
65:         public String toString()
66:         {
67:                 return kind;
68:         }
69: }