コード例 #1
0
JNIEXPORT jboolean JNICALL Java_com_fc_caseRunner_Judge_judge
  (JNIEnv * s1, jobject s2, jint cur, jboolean high, jboolean two, jint own_Tracked_Alt, jint own_Tracked_Alt_Rate, jint other_Tracked_Alt, jint alt_Layer_Value, jint up_Separation, jint down_Separation, jint other_RAC, jint other_Capability, jboolean climb_Inhibit){
    initialize();
    Cur_Vertical_Sep = cur;
    High_Confidence = high;
    Two_of_Three_Reports_Valid = two;
    Own_Tracked_Alt = own_Tracked_Alt;
    Own_Tracked_Alt_Rate = own_Tracked_Alt_Rate;
    Other_Tracked_Alt = other_Tracked_Alt;
    Alt_Layer_Value = alt_Layer_Value;
    Up_Separation = up_Separation;
    Down_Separation = down_Separation;
    Other_RAC = other_RAC;
    Other_Capability =  other_Capability;
    Climb_Inhibit = climb_Inhibit;
    return  alt_sep_test_v1() == alt_sep_test();
}
コード例 #2
0
ファイル: tcas.c プロジェクト: belolourenco/sniper
// NO MAIN, RET
int foo(int arg1, int arg2, int arg3, int arg4, int arg5, int arg6, int arg7, int arg8, int arg9
        , int arg10, int arg11, int arg12) {
    initialize();
    Cur_Vertical_Sep            = arg1;
    High_Confidence             = arg2;
    Two_of_Three_Reports_Valid  = arg3;
    Own_Tracked_Alt             = arg4;
    Own_Tracked_Alt_Rate        = arg5;
    Other_Tracked_Alt           = arg6;
    Alt_Layer_Value             = arg7;
    Up_Separation               = arg8;
    Down_Separation             = arg9;
    Other_RAC                   = arg10;
    Other_Capability            = arg11;
    Climb_Inhibit               = arg12;
    
    int r = alt_sep_test();
    return r;
}
コード例 #3
0
ファイル: tcas_4b.c プロジェクト: tracer-x/tracer
unsigned main( )
{
    initialize();
    alt_sep_test();
  return 0;
}
コード例 #4
0
ファイル: tcas_1a.c プロジェクト: tracer-x/tracer
int main( )
{
    initialize();
    alt_sep_test();
  return 0;
}