Commit d7b28262 authored by stancakapost's avatar stancakapost
Browse files

accessing elements

parent 65af76a2
Loading
Loading
Loading
Loading
+25 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev:  $
 ** @purpose  1:6.1.1.1, Access bitstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_001 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_001() runs on GeneralComp {
        var bitstring v_b := '10001'B;
        v_b[2] := '1'B;
    	if (v_b == '10101'B){
    		setverdict(pass);
    	}
    	else {
    		setverdict(fail);
    	}
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_001());
    }
}
 No newline at end of file
+25 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev:  $
 ** @purpose  1:6.1.1.1, Access octetstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_002 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_002() runs on GeneralComp {
        var octetstring v_b := '100010'O;
        v_b[2] := '01'O;
    	if (v_b == '100001'O){
    		setverdict(pass);
    	}
    	else {
    		setverdict(fail);
    	}
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_002());
    }
}
 No newline at end of file
+25 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev:  $
 ** @purpose  1:6.1.1.1, Access hexstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_003 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_003() runs on GeneralComp {
        var hexstring v_b := '10001'H;
        v_b[2] := '1'H;
    	if (v_b == '10101'H){
    		setverdict(pass);
    	}
    	else {
    		setverdict(fail);
    	}
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_003());
    }
}
 No newline at end of file
+29 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev:  $
 ** @purpose  1:6.1.1.1, Access bitstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_004 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_004() runs on GeneralComp {
        var bitstring v_b := ''B;
        v_b[0] := '1'B;
        v_b[1] := '0'B;
        v_b[2] := '1'B;
        v_b[3] := '0'B;
        v_b[4] := '1'B;
    	if (v_b == '10101'B){
    		setverdict(pass);
    	}
    	else {
    		setverdict(fail);
    	}
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_004());
    }
}
 No newline at end of file
+29 −0
Original line number Diff line number Diff line
/***************************************************
 ** @author   STF 409
 ** @version  $Rev:  $
 ** @purpose  1:6.1.1.1, Access hexstring elements
 ** @verdict  pass accept, ttcn3verdict:pass
 ***************************************************/
module Sem_06010101_TopLevel_005 {
    
    type component GeneralComp {}
    
    testcase TC_Sem_06010101_TopLevel_005() runs on GeneralComp {
        var hexstring v_b := ''H;
        v_b[0] := '1'H;
        v_b[1] := '0'H;
        v_b[2] := '1'H;
        v_b[3] := '0'H;
        v_b[4] := '1'H;
    	if (v_b == '10101'H){
    		setverdict(pass);
    	}
    	else {
    		setverdict(fail);
    	}
    }
    
    control{
        execute(TC_Sem_06010101_TopLevel_005());
    }
}
 No newline at end of file
Loading