56 lines
1.7 KiB
Java
56 lines
1.7 KiB
Java
/*
|
|
Primitive.java
|
|
*
|
|
* You may use and distribute under the terms of either the GNU Lesser
|
|
* General Public License, either version 2 of the license or,
|
|
* at your choice, any later version. Alternatively, you may use and
|
|
* distribute under the terms of the XPL.
|
|
*
|
|
* See the LICENSE.lgpl and LICENSE.xpl files for the specific terms of
|
|
* the licenses.
|
|
*
|
|
* This software is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the README
|
|
* file for more details.
|
|
*
|
|
*/
|
|
/*
|
|
* Written by Antti-Juhani Kaijanaho.
|
|
*/
|
|
|
|
package org.gzigzag.clang.thales.syntaxform;
|
|
|
|
import org.gzigzag.*;
|
|
import org.gzigzag.clang.thales.*;
|
|
|
|
public class Abstraction extends SyntaxForm {
|
|
public static final String rcsid = "$Id: Abstraction.java,v 1.4 2000/10/18 14:35:31 tjl Exp $";
|
|
|
|
// Runtime representation basecell -> rvcc -> bodyc -> envc posward on d.1
|
|
private final class Rep {
|
|
public ZZCell rvcc;
|
|
public ZZCell rvc;
|
|
public ZZCell bodyc;
|
|
public ZZCell body;
|
|
public ZZCell envc; // pointer to inherited environment
|
|
public Environment env; // dereferenced envc
|
|
|
|
/** Create from existing structure. */
|
|
public Rep() {
|
|
rvcc = getBaseCell().s("d.1", 1);
|
|
rvc = ZZCursorReal.get(rvcc);
|
|
bodyc = rvcc.s("d.1", 1);
|
|
body = ZZCursorReal.get(bodyc);
|
|
envc = bodyc.s("d.1", 1);
|
|
env = new Environment(ZZCursorReal.get(envc));
|
|
}
|
|
|
|
public Rep(ZZCell body, Environment env, ZZCell rvc
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|