0 Method Call Information
0 File: methodcall  Created: Wed Jan 21 12:14:12 CST 2009
1 0:<test_tcas: void main(java.lang.String[])>
1 0:<tcas: void <clinit>()>
1 0:<tcas: void begin(int,int,int,int,int,int,int,int,int,int,int,int,int)>
1 0:<tcas: void <init>()>
1 0:<tcas: int alt_sep_test()>
1 0:<tcas: void initialize()>
1 0:<tcas: boolean Own_Above_Threat()>
1 0:<tcas: boolean Non_Crossing_Biased_Descend()>
1 0:<tcas: boolean Own_Below_Threat()>
1 0:<tcas: boolean Non_Crossing_Biased_Climb()>
1 0:<tcas: int ALIM()>
1 0:<tcas: int Inhibit_Biased_Climb()>
