package fact.samples;
import fact.Context;
import fact.Model;
public class CounterDelay implements Context {
    private long count = 0;
   
    public void define() {
        send("print").delay(1000);
        send("tick");
    }
   
    public void tick() {
        count++;
        send("tick");
    }
   
    public void print() {
        System.out.println(count);
        count = 0;
        send("print").delay(1000);
    }
   
    public static void main(String...args) {
        Model.launch(new CounterDelay());
    }
}

package fact.samples;

import fact.Context;

public class AccountRequest implements Context {
    private String login;
   
    private String password;
   
    public AccountRequest(String login, String password) {
        this.login = login;
        this.password = password;
    }
   
    public void login(String login, String password) {
        if(this.login.equals(login) && this.password.equals(password)) {
            reply(success);
        } else
            complaint(LoginFail.WrongLoginOrPassword);
    }
   
    public static class LoginSuccess {
        private LoginSuccess() { }
    }
   
    private final static LoginSuccess success = new LoginSuccess();
   
    public enum LoginFail {
        WrongLoginOrPassword,
        AccountInUse
    }
}

public class RequestSample implements Context {
    Reference account;
   
    public void define() {
        account = create("account", new AccountRequest("root", "root"));
        account.request("login", "login", "login").handle("Request");
        send("tick");
        send("print");
    }
   
    public void tick() {
        account.request("login", "root", "root").handle("Request");
        send("print");
    }
   
    public void print() {
        System.out.println("print");
    }
   
    public class Request {
       
        public void reply(LoginFail fail) {
            System.out.println("login failed");
        }
       
        public void reply(LoginSuccess success) {
            System.out.println("login success");
        }
    }
   
    public static void main(String...args) {
        Model.launch(new RequestSample());
    }
}