1 /*
2 wsmo4j - a WSMO API and Reference Implementation
3
4 Copyright (c) 2005, University of Innsbruck, Austria
5
6 This library is free software; you can redistribute it and/or modify it under
7 the terms of the GNU Lesser General Public License as published by the Free
8 Software Foundation; either version 2.1 of the License, or (at your option)
9 any later version.
10 This library is distributed in the hope that it will be useful, but WITHOUT
11 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12 FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
13 details.
14 You should have received a copy of the GNU Lesser General Public License along
15 with this library; if not, write to the Free Software Foundation, Inc.,
16 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17 */
18 package org.deri.wsmo4j.io.parser.wsml;
19
20 import org.omwg.logicalexpression.terms.*;
21 import org.omwg.ontology.*;
22
23 public class TempVariable implements Variable{
24 int i;
25 TempVariable (int i){
26 this.i=i;
27 }
28 public String getName() {
29 return "temp"+i;
30 }
31
32 public void accept(Visitor v) {
33 v.visitVariable(this);
34 }
35
36 public String toString(){
37 return "?temp"+i;
38 }
39
40 }
41
42 /*
43 *$Log$
44 *Revision 1.3 2005/11/28 15:12:05 vassil_momtchev
45 *merged with branch parser_refactor
46 *
47 *Revision 1.2.2.2 2005/11/22 08:58:19 holgerlausen
48 *update such that the whole of le fits in the new structure
49 *
50 *Revision 1.2 2005/11/09 11:28:54 holgerlausen
51 *fixed functionsymbol2Atom rewriting (during parsing for comparissons and toString())
52 *
53 *Revision 1.1 2005/11/08 08:37:12 holgerlausen
54 *fixed RFE 665349 (built in as predicates)
55 *
56 */