123456789101112131415161718192021222324252627282930313233343536373839404142 |
- package kawa.lang;
- import gnu.mapping.*;
- import java.io.*;
- import gnu.kawa.format.Printable;
- import gnu.lists.Consumer;
- /**
- * A pattern that matches anything.
- */
- public class AnyPat extends Pattern implements Printable, Externalizable
- {
- public AnyPat () { }
- public static AnyPat make () { return new AnyPat (); }
- public void print (Consumer out)
- {
- out.write("#<match any>");
- }
- public boolean match (Object obj, Object[] vars, int start_vars)
- {
- vars[start_vars] = obj;
- return true;
- }
- public int varCount () { return 1; }
- /**
- * @serialData Write nothing.
- */
- public void writeExternal(ObjectOutput out) throws IOException
- {
- }
- public void readExternal(ObjectInput in)
- throws IOException, ClassNotFoundException
- {
- }
- }
|