Package: ILexNameToken

ILexNameToken

Coverage

1: /*
2: * #%~
3: * The Overture Abstract Syntax Tree
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.ast.intf.lex;
23:
24: import java.util.List;
25:
26: import org.overture.ast.types.PType;
27:
28: public interface ILexNameToken extends ILexIdentifierToken
29: {
30:
31:         String getFullName();
32:
33:         int compareTo(ILexNameToken o);
34:
35:         ILexNameToken copy();
36:
37:         ILexNameToken getClassName();
38:
39:         boolean getExplicit();
40:
41:         ILexNameToken clone();
42:
43:         ILexNameToken getExplicit(boolean ex);
44:
45:         ILexIdentifierToken getIdentifier();
46:
47:         ILexNameToken getInitName(ILexLocation l);
48:
49:         ILexNameToken getInvName(ILexLocation l);
50:
51:         ILexNameToken getEqName(ILexLocation l);
52:
53:         ILexNameToken getOrdName(ILexLocation l);
54:
55:         ILexNameToken getMinName(ILexLocation l);
56:
57:         ILexNameToken getMaxName(ILexLocation l);
58:
59:         boolean isReserved();
60:
61:         ILexLocation getLocation();
62:
63:         ILexNameToken getModifiedName(String classname);
64:         
65:         ILexNameToken getModifiedName(List<PType> qualifier);
66:
67:         String getModule();
68:
69:         String getName();
70:
71:         ILexNameToken getNewName();
72:
73:         boolean getOld();
74:
75:         ILexNameToken getOldName();
76:
77:         ILexNameToken getPerName(ILexLocation loc);
78:
79:         ILexNameToken getPostName(ILexLocation l);
80:
81:         ILexNameToken getPreName(ILexLocation l);
82:
83:         ILexNameToken getMeasureName(ILexLocation loc);
84:
85:         ILexNameToken getSelfName();
86:
87:         String getSimpleName();
88:
89:         ILexNameToken getThreadName();
90:
91:         ILexNameToken getThreadName(ILexLocation loc);
92:
93:         List<PType> getTypeQualifier();
94:
95:         List<PType> typeQualifier();
96:
97:         boolean isOld();
98:
99:         boolean matches(ILexNameToken other);
100:
101:         void setTypeQualifier(List<PType> types);
102:
103:         // int hashCode(IAstAssistantFactory assistantFactory);
104:         // Try to declare it here as requested by eclipse.
105:         // Didn't seem to work.
106:
107: }