[all packages] [package net.sf.pizzacompiler.lang] [class hierarchy] [index]

public class net.sf.pizzacompiler.lang.MatchError

(source file: /home/enno/source/tmp/pizza/main/src/net/sf/pizzacompiler/lang/MatchError.pizza)
java.lang.Object
   |
   +----java.lang.Throwable
           |
           +----java.lang.Error
                   |
                   +----net.sf.pizzacompiler.lang.MatchError
The pure class interface. 
public class MatchError
  extends Error
A class for errors due to missing patterns.

See also:
pizza.lang.List, pizza.util.Option

Constuctor Index

O MatchError(String)
O MatchError()

Constructors

O MatchError
public MatchError();

O MatchError

public MatchError(String s);

[all packages] [package net.sf.pizzacompiler.lang] [class hierarchy] [index]
net.sf.pizzacompiler.lang.MatchError.html