slime.checks
Class Wellformed

java.lang.Object
  extended byslime.checks.Wellformed

public class Wellformed
extends java.lang.Object

checking well-formedness for Slime programs

Version:
$Id: Wellformed.java,v 1.16 2002/07/18 11:40:58 swprakt Exp $

The checker consists of various well-formed errors (combined into one exception) together with the checker proper, which recurs over the abstract syntax. Using internally the visitor pattern, the design is similar to the one of the type checker. cf. there for further info.

Given an sfc, the following things are checked:

Note that test of non-nullness is not done for parts other than mentioned (for instance sap's etc.)
Author:
Martin Steffen and Karsten Stahl.

Nested Class Summary
 class Wellformed.Consistency
          Inner class for consistency checking.
 class Wellformed.Initcheck
          Visitor for SFC's, the entry point of the recursion.
 class Wellformed.WException
          General, non-specific exception when doing wellformed checking.
 
Constructor Summary
Wellformed()
           
 
Method Summary
 boolean check(SFC s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Wellformed

public Wellformed()
Method Detail

check

public boolean check(SFC s)
              throws Wellformed.WException
Throws:
Wellformed.WException