package test.simple.auction;


@interface Contract
{
    String clauses();
}

@Contract(clauses ="a b c;")
public class Module
{
    public Module()
    {
    }

    public void a()
    {
    }

    public void b()
    {
    }

    public void c()
    {
    }

    public void d()
    {
    }

    public void e()
    {
    }

    public void f()
    {
    }

    public void g()
    {
    }

    public void h()
    {
    }

    public void i()
    {
    }

    public void j()
    {
    }

    public void l()
    {
    }
}
