pronto.iol

/*if needed for offers manipulation
type ASOffer : void {
    .offerToken:       int
    .clientUsername:   string
    .customerName:     string
    .customerSurname:  string
    .DepartureLoc:     string
    .ArrivalLoc:       string
    .offerTimestamp:   string
    .offerDuration:    int //hours in int
    .DepartureTime:    string
    .OfferPrice:       double
    .IsLastMinute:     bool
    .IsValid:          bool
}*/


type loginRequest{
    .username: string
    .password: string
    .sid?:     string
}

type logoutRequest{
    .username?: string
    .sid?:      string
}

type registerRequest{
    .username: string
    .password: string
    .name:     string
    .surname:  string
    .sid?:     string
}

type messagesRequest{
    .username: string
    .sid?:      string
}

type prontoResponse :void{
    .message:  string
    .sid?:       string
    .status?:    int
}

type sendMessageRequest{
    .message:   string
    .username:      string
    .expiration:    string
    .sid?:      string
}

interface ProntoInterface{
    RequestResponse:
        login(loginRequest)(prontoResponse),
        getMessages(messagesRequest)(undefined),
        register(registerRequest)(prontoResponse),
        logout(logoutRequest)(prontoResponse),
        sendMessage(sendMessageRequest)(prontoResponse),
}