wyc.builder

Class ModuleCheck

java.lang.Object

wyc.builder.ModuleCheck

public class ModuleCheck
extends Object

Performs a number of simplistic checks that a module is syntactically correct. This includes the following

• Functions cannot have side-effects. This includes sending messages to actors, calling headless methods and spawning processes.
• Functions/Methods cannot throw exceptions unless they are declared. Thus, if a method or function throws an exception an appropriate throws clause is required.
• Every catch handler must catch something. It is a syntax error if a catch handler exists which can never catch anything (i.e. it is dead-code).

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
ModuleCheck(WhileyFile file)

Method Summary

Modifier and Type	Method and Description
void	check()
void	check(WhileyFile.Declaration declaration)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ModuleCheck

public ModuleCheck(WhileyFile file)

Method Detail

check

public void check()

check

public void check(WhileyFile.Declaration declaration)