blob: 5e9ee86eeadb0969353a0fe466bd5ef6c5bfb765 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S12.3_A1;
* @section: 12.3;
* @assertion: The production EmptyStatement ; is evaluated as follows Return (normal, empty, empty);
* @description: Using EmptyStatement ;;
*/
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;; ;;;;;; ;; ;; ;;;;;; ;;;;;;;; ;; ;; ;;;;;
;;;;; ;; ;;;; ;;;; ;; ;; ;; ;; ;; ;;;;;
;;;;; ;;;; ;; ;;;; ;; ;;;;;; ;; ;;;; ;;;;;
;;;;; ;; ;; ;; ;; ;; ;; ;; ;;;;;
;;;;; ;;;;;; ;; ;; ;; ;; ;; ;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|