1 |
/* Local.java -- Representation of locally-defined AtomicProcess parameter. |
/* Local.java -- Representation of locally-defined AtomicProcess parameter. |
2 |
Copyright (C) 2005 The University of Sheffield. |
Copyright (C) 2005 The University of Sheffield. |
3 |
|
|
4 |
This file is part of the CASheW-s editor. |
This file is part of the CASheW-s editor. |
5 |
|
|
6 |
The CASheW-s editor is free software; you can redistribute it and/or modify |
The CASheW-s editor is free software; you can redistribute it and/or modify |
7 |
it under the terms of the GNU General Public License as published by |
it under the terms of the GNU General Public License as published by |
8 |
the Free Software Foundation; either version 2, or (at your option) |
the Free Software Foundation; either version 2, or (at your option) |
9 |
any later version. |
any later version. |
10 |
|
|
11 |
The CASheW-s editor is distributed in the hope that it will be useful, but |
The CASheW-s editor is distributed in the hope that it will be useful, but |
12 |
WITHOUT ANY WARRANTY; without even the implied warranty of |
WITHOUT ANY WARRANTY; without even the implied warranty of |
13 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
14 |
General Public License for more details. |
General Public License for more details. |
15 |
|
|
16 |
You should have received a copy of the GNU General Public License |
You should have received a copy of the GNU General Public License |
17 |
along with The CASheW-s editor; see the file COPYING. If not, write to the |
along with The CASheW-s editor; see the file COPYING. If not, write to the |
18 |
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
19 |
02111-1307 USA. |
02111-1307 USA. |
20 |
*/ |
*/ |
21 |
|
|
22 |
package nongnu.cashews.owls.process; |
package nongnu.cashews.owls.process; |
23 |
|
|
24 |
/** |
/** |
25 |
* This class represents a local parameter, which is bound |
* This class represents a local parameter, which is bound within the |
26 |
* within the preconditions of an <code>AtomicProcess</code>. |
* preconditions of an <code>AtomicProcess</code>. |
27 |
* <code>CompositeProcess</code>es may not include <code>Local</code> |
* <code>CompositeProcess</code> es may not include <code>Local</code> |
28 |
* parameters. |
* parameters. |
29 |
* |
* |
30 |
* @author Andrew John Hughes (gnu_andrew@member.fsf.org) |
* @author Andrew John Hughes (gnu_andrew@member.fsf.org) |
31 |
* @see AtomicProcess |
* @see AtomicProcess |
32 |
* @see CompositeProcess |
* @see CompositeProcess |
33 |
*/ |
*/ |
34 |
public class Local |
public class Local extends Parameter |
|
extends Parameter |
|
35 |
{ |
{ |
36 |
|
|
37 |
} |
} |