import java.util.*; import java.io.*; 

LibrarySystem = <books> BookList <users> UserList <ops> OpList <staffs> StaffList.

Book = "book:" Title "by" Author Publisher Year Subject "ISBN" ISBN CopyList.
BookList = <list> List(Book).

Title     = <t> String .
Author    = <a> String .
Publisher = <p> String .
Year      = <y> Integer .
Subject   = <s> String .
ISBN      = <n> Integer .
COPYNO    = <n> Integer.   
UID       = <n> Integer. 
OpCode    = <n> int.
PassWord  = <n> String.

Copy      = "copy" <copyno> COPYNO [ <borrower> User ] .
CopyList  = <list> List(Copy).

User = "user:" <uid> UID Status .
Name      = <fname> String <lname> String.

UserList = <list> List(User).

Staff = "staff:" <sid_code> StaffCode.

StaffList = List(Staff).

StaffCode = <code> Integer.

Person : Staff | User *common* Name Address Phones.

Address = "address:" <number> Integer <street> String 
          ["#" <apt> Integer] "city:" <city> String "state:" <state> String 
          <zip> Integer .

Phones = "phones:" [ HomePhone ] [ WorkPhone ] [ Fax ] .

Phone : HomePhone | WorkPhone | Fax
        *common* <area_code> Integer "-" <number> Integer .
HomePhone   = "home" .
WorkPhone   = "work" .
Fax         = "fax" .

Status = "status:" <quota> Integer [<il> ItemList].
ItemList = <list> List(Item).

Item  = Book Copy .

Operation : Exit | ShowBooks | SearchBook | PrivOperation | Invalid 
            *common*  <op_code> OpCode <op_str> String.

PrivOperation = PrivOperationWrapper.

PrivOperationWrapper : ShowUsers | SearchUser | CheckBook | ActiveUsers.

OpList = <list> List(Operation).

CheckBook : CheckOut | CheckIn .

Invalid = "Invalid".
ShowBooks = "ShowBooks".
SearchBook = "SearchBook".
ShowUsers = "ShowUsers".
SearchUser = "SearchUser".
CheckOut = "CheckOut".
CheckIn = "CheckIn".
Exit = "Exit".

ActiveUsers = "ActiveUsers" . 

// Generic
List(S) ~ "(" { S } ")" .


//*visitors* // Visitors

TAOVisitor : PrintUserV.
PrintUserV      = .
PrintBooksV 	=.