// class dictionary for the insurance DB program
import java.util.*;
import java.io.*;

Agents = <agents> AgentList .
AgentRecord = "agent:" <agent> Person "," <agentcode> AgentCode .

Insurees = <insurees> InsureeList .
InsureeRecord = "insuree:" <fullname> Person 
	        "Policies:" <policylist> PolicyList .

Person = <last> Name "," <first> Name .
Name = <name> Ident.

PolicyRecord = "(" <policytype> PolicyType ","
	       <premium> Premium ","
	       <agentcode> AgentCode ")" .

PolicyList ~  { PolicyRecord } .

AgentList ~ "(" { AgentRecord } ")" .

InsureeList ~  { InsureeRecord } .

Transactions = <transactions> TransList .

Transaction : Transaction1 | Transaction2 | Transaction3 | Transaction4 | Transaction5 | Transaction6  .

Transaction1 = "transaction1" <type> TransType.
Transaction2 = "transaction2" <type> TransType.
Transaction3 =  "transaction3" <type> TransType <qtype> PolicyType .
Transaction4 =  "transaction4" <type> TransType <premium> Premium.
Transaction5 =  "transaction5" <type> TransType <person> Person.
Transaction6 = "transaction6" <type> TransType .

TransList ~  { Transaction } .

Premium = <i> int .
TransType = <i> int .
AgentCode = <i> int .
PolicyType = <id> Ident .

T1Visitor =  .
T2Visitor =  <agents> Agents <insurees> Insurees .
T3Visitor =  <agents> Agents <insurees> Insurees  <qtype> PolicyType .
T4Visitor =  <agents> Agents <insurees> Insurees  <queryamt> Premium .
T5Visitor =  <code> AgentCode <iname> Person.
T6Visitor =  <agents> Agents <insurees> Insurees .

doTransVisitor = <agents> Agents <insurees> Insurees .

AVisitor = <agent> Person <code> AgentCode.
SumVisitor =  <code> AgentCode <sum> int .
CheckVisitor = <type> PolicyType <code> AgentCode <ret> int .
CountTVisitor = <code> AgentCode <iname> Person <flag> int.
CountPVisitor = <code> AgentCode <aname> Person <aflag> int <hflag> int <lflag> int .
PrintingVisitor = .
Main = .