Jacks Tests

Testing Java is easy, if you play your cards right.

jls section	directory
3.2	tests/jls/lexical-structure/lexical-translations
3.3	tests/jls/lexical-structure/unicode-escapes
3.4	tests/jls/lexical-structure/line-terminators
3.5	tests/jls/lexical-structure/input-elements-and-tokens
3.6	tests/jls/lexical-structure/white-space
3.7	tests/jls/lexical-structure/comments
3.8	tests/jls/lexical-structure/identifiers
3.9	tests/jls/lexical-structure/keywords
3.10.1	tests/jls/lexical-structure/literals/integer-literals
3.10.2	tests/jls/lexical-structure/literals/floating-point-literals
3.10.4	tests/jls/lexical-structure/literals/character-literals
3.10.5	tests/jls/lexical-structure/literals/string-literals
3.10.7	tests/jls/lexical-structure/literals/escape-sequences
4.5.4	tests/jls/types-values-and-variables/variables/final-variables
5.1.1	tests/jls/conversions-and-promotions/kinds-of-conversion/identity-conversions
5.1.2	tests/jls/conversions-and-promotions/kinds-of-conversion/widening-primitive-conversions
5.1.3	tests/jls/conversions-and-promotions/kinds-of-conversion/narrowing-primitive-conversions
5.2	tests/jls/conversions-and-promotions/assignment-conversion
6.2	tests/jls/names/names-and-identifiers
6.3	tests/jls/names/scope-of-a-declaration
6.4.1	tests/jls/names/members-and-inheritance/members-of-a-package
6.4.2	tests/jls/names/members-and-inheritance/members-of-a-class-type
6.4.3	tests/jls/names/members-and-inheritance/members-of-an-interface-type
6.4.4	tests/jls/names/members-and-inheritance/members-of-an-array-type
6.5.1	tests/jls/names/meaning-of-a-name/syntactic-classification
6.5.2	tests/jls/names/meaning-of-a-name/reclassification
6.5.3.1	tests/jls/names/meaning-of-a-name/package-names/simple
6.5.3.2	tests/jls/names/meaning-of-a-name/package-names/qualified
6.5.4.1	tests/jls/names/meaning-of-a-name/packageortypenames/simple
6.5.4.2	tests/jls/names/meaning-of-a-name/packageortypenames/qualified
6.5.5.1	tests/jls/names/meaning-of-a-name/type-names/simple
6.5.5.2	tests/jls/names/meaning-of-a-name/type-names/qualified
6.5.6.1	tests/jls/names/meaning-of-a-name/expression-names/simple
6.5.6.2	tests/jls/names/meaning-of-a-name/expression-names/qualified
6.5.7.1	tests/jls/names/meaning-of-a-name/method-names/simple
6.5.7.2	tests/jls/names/meaning-of-a-name/method-names/qualified
6.6.1	tests/jls/names/access-control/determining-accessibility
6.6.2.1	tests/jls/names/access-control/details-on-protected-access/protected-member
6.6.2.2	tests/jls/names/access-control/details-on-protected-access/protected-constructor
7.1	tests/jls/packages/package-members
7.3	tests/jls/packages/compilation-units
7.4.1	tests/jls/packages/package-declarations/named-packages
7.4.2	tests/jls/packages/package-declarations/unnamed-packages
7.5.1	tests/jls/packages/import-declarations/single-type-import-declaration
7.5.2	tests/jls/packages/import-declarations/type-import-on-demand-declaration
7.5.3	tests/jls/packages/import-declarations/automatic-imports
7.5.4	tests/jls/packages/import-declarations/strange-example
7.6	tests/jls/packages/top-level-type-declarations
8.1	tests/jls/classes/class-declaration
8.1.1	tests/jls/classes/class-declaration/class-modifiers
8.1.1.1	tests/jls/classes/class-declaration/class-modifiers/abstract-classes
8.1.1.2	tests/jls/classes/class-declaration/class-modifiers/final-classes
8.1.2	tests/jls/classes/class-declaration/inner-classes-and-enclosing-instances
8.1.3	tests/jls/classes/class-declaration/superclasses-and-subclasses
8.1.4	tests/jls/classes/class-declaration/superinterfaces
8.2	tests/jls/classes/class-members
8.3	tests/jls/classes/field-declarations
8.3.1	tests/jls/classes/field-declarations/field-modifiers
8.3.1.1	tests/jls/classes/field-declarations/field-modifiers/static-fields
8.3.1.2	tests/jls/classes/field-declarations/field-modifiers/final-fields
8.3.2	tests/jls/classes/field-declarations/initialization-of-fields
8.3.2.1	tests/jls/classes/field-declarations/initialization-of-fields/initializers-for-class-variables
8.3.2.2	tests/jls/classes/field-declarations/initialization-of-fields/initializers-for-instance-variables
8.3.2.3	tests/jls/classes/field-declarations/initialization-of-fields/restrictions
8.4.3	tests/jls/classes/method-declarations/method-modifiers
8.4.5	tests/jls/classes/method-declarations/method-body
8.4.6	tests/jls/classes/method-declarations/inheritance-overriding-and-hiding
8.4.6.1	tests/jls/classes/method-declarations/inheritance-overriding-and-hiding/overriding
8.4.6.2	tests/jls/classes/method-declarations/inheritance-overriding-and-hiding/hiding
8.4.6.3	tests/jls/classes/method-declarations/inheritance-overriding-and-hiding/requirements
8.4.6.4	tests/jls/classes/method-declarations/inheritance-overriding-and-hiding/inheriting-same-signature
8.5	tests/jls/classes/member-type-declarations
8.5.1	tests/jls/classes/member-type-declarations/access-modifiers
8.5.2	tests/jls/classes/member-type-declarations/static-member-type-declarations
8.6	tests/jls/classes/instance-initializers
8.7	tests/jls/classes/static-initializers
8.8	tests/jls/classes/constructor-declarations
8.8.1	tests/jls/classes/constructor-declarations/formal-parameters
8.8.2	tests/jls/classes/constructor-declarations/constructor-signature
8.8.3	tests/jls/classes/constructor-declarations/constructor-modifiers
8.8.5	tests/jls/classes/constructor-declarations/constructor-body
8.8.5.1	tests/jls/classes/constructor-declarations/constructor-body/explicit-constructor-invocations
8.8.6	tests/jls/classes/constructor-declarations/constructor-overloading
8.8.7	tests/jls/classes/constructor-declarations/default-constructor
9.1	tests/jls/interfaces/interface-declarations
9.1.1	tests/jls/interfaces/interface-declarations/interface-modifiers
9.1.1.1	tests/jls/interfaces/interface-declarations/interface-modifiers/abstract-interfaces
9.1.2	tests/jls/interfaces/interface-declarations/superinterfaces-and-subinterfaces
9.1.3	tests/jls/interfaces/interface-declarations/interface-body-and-member-declarations
9.2	tests/jls/interfaces/interface-members
9.3	tests/jls/interfaces/field-constant-declarations
9.3.1	tests/jls/interfaces/field-constant-declarations/initialization-of-fields
9.4	tests/jls/interfaces/abstract-method-declarations
9.4.1	tests/jls/interfaces/abstract-method-declarations/inheritance-and-overriding
9.4.2	tests/jls/interfaces/abstract-method-declarations/overloading
10.6	tests/jls/arrays/array-initializers
13.1	tests/jls/binary-compatibility/form-of-binary
14.3	tests/jls/blocks-and-statements/local-class-declarations
14.4.2	tests/jls/blocks-and-statements/local-variable-declaration-statements/scope
14.7	tests/jls/blocks-and-statements/labeled-statements
14.9	tests/jls/blocks-and-statements/if-statement
14.10	tests/jls/blocks-and-statements/switch-statement
14.14	tests/jls/blocks-and-statements/break-statement
14.15	tests/jls/blocks-and-statements/continue-statement
14.18	tests/jls/blocks-and-statements/synchronized-statement
14.19	tests/jls/blocks-and-statements/try-statement
14.20	tests/jls/blocks-and-statements/unreachable-statements
15.8.2	tests/jls/expressions/primary-expressions/class-literals
15.8.4	tests/jls/expressions/primary-expressions/qualified-this
15.8.5	tests/jls/expressions/primary-expressions/parenthesized-expressions
15.9	tests/jls/expressions/class-instance-creation
15.9.1	tests/jls/expressions/class-instance-creation/determining-the-class
15.9.2	tests/jls/expressions/class-instance-creation/determining-enclosing-instances
15.9.3	tests/jls/expressions/class-instance-creation/choosing-the-constructor
15.9.5.1	tests/jls/expressions/class-instance-creation/anonymous-class-declarations/anonymous-constructors
15.10	tests/jls/expressions/array-creation-expressions
15.11.1	tests/jls/expressions/field-access-expressions/using-a-primary
15.11.2	tests/jls/expressions/field-access-expressions/accessing-superclass-members-using-super
15.12.1	tests/jls/expressions/method-invocation-expressions/determine-class-or-interface
15.12.2.1	tests/jls/expressions/method-invocation-expressions/determine-method-signature/applicable-and-accessible
15.12.2.2	tests/jls/expressions/method-invocation-expressions/determine-method-signature/choose-most-specific
15.12.3	tests/jls/expressions/method-invocation-expressions/chosen-method-appropriate
15.13	tests/jls/expressions/array-access-expressions
15.14.1	tests/jls/expressions/postfix-expressions/postfix-increment-operator
15.14.2	tests/jls/expressions/postfix-expressions/postfix-decrement-operator
15.15	tests/jls/expressions/unary-operators
15.15.1	tests/jls/expressions/unary-operators/prefix-increment-operator
15.15.2	tests/jls/expressions/unary-operators/prefix-decrement-operator
15.15.3	tests/jls/expressions/unary-operators/unary-plus-operator
15.15.4	tests/jls/expressions/unary-operators/unary-minus-operator
15.15.5	tests/jls/expressions/unary-operators/bitwise-complement-operator
15.15.6	tests/jls/expressions/unary-operators/logical-complement-operator
15.16	tests/jls/expressions/cast-expressions
15.17	tests/jls/expressions/multiplicative-operators
15.17.1	tests/jls/expressions/multiplicative-operators/multiplication-operator
15.17.2	tests/jls/expressions/multiplicative-operators/division-operator
15.17.3	tests/jls/expressions/multiplicative-operators/remainder-operator
15.18	tests/jls/expressions/additive-operators
15.18.1	tests/jls/expressions/additive-operators/string-concatenation-operator
15.18.2	tests/jls/expressions/additive-operators/numeric-types
15.20	tests/jls/expressions/relational-operators/type-comparison-operator-instanceof
15.20.2	tests/jls/expressions/relational-operators/type-comparison-operator-instanceof
15.21	tests/jls/expressions/equality-operators
15.21.1	tests/jls/expressions/equality-operators/numerical-equality
15.21.3	tests/jls/expressions/equality-operators/reference-equality
15.23	tests/jls/expressions/conditional-and-operator
15.24	tests/jls/expressions/conditional-or-operator
15.25	tests/jls/expressions/conditional-operator
15.26.2	tests/jls/expressions/assignment-operators/compound-assignment-operators
15.28	tests/jls/expressions/constant-expression
16	tests/jls/definite-assignment
16.1.2	tests/jls/definite-assignment/expressions/boolean-conditional-and
16.1.3	tests/jls/definite-assignment/expressions/boolean-conditional-or
16.1.5	tests/jls/definite-assignment/expressions/boolean-conditional-operator
16.1.7	tests/jls/definite-assignment/expressions/assignment-expressions
16.1.8	tests/jls/definite-assignment/expressions/operators-increment-and-decrement
16.2.3	tests/jls/definite-assignment/statements/local-class-declaration-statements
16.2.5	tests/jls/definite-assignment/statements/labeled-statements
16.2.7	tests/jls/definite-assignment/statements/if-statements
16.2.8	tests/jls/definite-assignment/statements/switch-statements
16.2.9	tests/jls/definite-assignment/statements/while-statements
16.2.10	tests/jls/definite-assignment/statements/do-statements
16.2.11	tests/jls/definite-assignment/statements/for-statements
16.2.14	tests/jls/definite-assignment/statements/try-statements
16.5	tests/jls/definite-assignment/anonymous-classes
16.8	tests/jls/definite-assignment/constructors-and-instance-initializers
try-statement	tests/jls/blocks-and-statements/try-statement

runtime section	directory
3.10.1	tests/runtime/jls/lexical-structure/literals/integer-literals
3.10.2	tests/runtime/jls/lexical-structure/literals/floating-point-literals
3.10.4	tests/runtime/jls/lexical-structure/literals/character-literals
3.10.5	tests/runtime/jls/lexical-structure/literals/string-literals
4.10	tests/runtime/jvms/class-file-format/limitations
6.6.1	tests/runtime/jls/classes/constructor-declarations/constructor-access
8.1.2	tests/runtime/jls/classes/class-declaration/inner-classes-and-enclosing-instances
8.3	tests/runtime/jls/classes/field-declarations
8.4.6	tests/runtime/jls/classes/method-declarations/inheritance-overriding-and-hiding
8.4.6.4	tests/runtime/jls/classes/method-declarations/inheritance-overriding-and-hiding
8.8.3	tests/runtime/jls/classes/constructor-declarations/constructor-modifiers
8.8.5	tests/runtime/jls/classes/constructor-declarations/constructor-body
8.8.7	tests/runtime/jls/classes/constructor-declarations/default-constructor
12.4.1	tests/runtime/jls/execution/initialization-of-classes-and-interfaces/when-initialization-occurs
12.4.2	tests/runtime/jls/execution/initialization-of-classes-and-interfaces/detailed-initialization-procedure
12.5	tests/runtime/jls/execution/creation-of-new-class-instances
13.1	tests/runtime/jls/binary-compatibility/form-of-binary
14	tests/runtime/jls/blocks-and-statements
14.3	tests/runtime/jls/blocks-and-statements/local-class-declarations
14.3.1	tests/runtime/jls/blocks-and-statements/local-class-declarations
14.9.1	tests/runtime/jls/blocks-and-statements/if-statement/if-then-statement
14.9.2	tests/runtime/jls/blocks-and-statements/if-statement/if-then-else-statement
14.10	tests/runtime/jls/blocks-and-statements/switch-statement
14.11	tests/runtime/jls/blocks-and-statements/while-statement
14.12	tests/runtime/jls/blocks-and-statements/do-statement
14.13	tests/runtime/jls/blocks-and-statements/for-statement
14.14	tests/runtime/jls/blocks-and-statements/break-statement
14.18	tests/runtime/jls/blocks-and-statements/synchronized-statement
14.19.1	tests/runtime/jls/blocks-and-statements/try-statement/try-catch
14.19.2	tests/runtime/jls/blocks-and-statements/try-statement/try-catch-finally
15.8.4	tests/runtime/jls/expressions/primary-expressions/qualified-this
15.9	tests/runtime/jls/expressions/class-instance-creation
15.9.4	tests/runtime/jls/expressions/class-instance-creation/run-time-evaluation
15.11.1	tests/runtime/jls/expressions/field-access-expressions/using-a-primary
15.11.2	tests/runtime/jls/expressions/field-access-expressions/accessing-superclass-members-using-super
15.12.3	tests/runtime/jls/expressions/method-invocation-expressions/chosen-method-appropriate
15.12.4.1	tests/runtime/jls/expressions/method-invocation-expressions/runtime-evaluation/compute-target-reference
15.13.2	tests/runtime/jls/expressions/array-access-expressions/examples
15.14	tests/runtime/jls/expressions/postfix-expressions
15.15	tests/runtime/jls/expressions/unary-operators
15.18.1.1	tests/runtime/jls/expressions/additive-operators/string-conversion
15.20	tests/runtime/jls/expressions/relational-operators/type-comparison-operator-instanceof
15.21.3	tests/runtime/jls/expressions/equality-operators/reference-equality
15.25	tests/runtime/jls/expressions/conditional-operator
15.26.1	tests/runtime/jls/expressions/assignment-operators/simple-assignment-operator
15.26.2	tests/runtime/jls/expressions/assignment-operators/compound-assignment-operators
15.28	tests/runtime/jls/expressions/constant-expression
16.5	tests/runtime/jls/definite-assignment/anonymous-classes
41.3	tests/runtime/non-jls/assert

non-jls section	directory
41.2	tests/non-jls/assert/syntax
41.4	tests/non-jls/assert/definite-assignment
argument-expansion	tests/non-jls/argument-expansion
encoding	tests/non-jls/encoding
random-crashers	tests/non-jls/random-crashers
zip	tests/non-jls/zip

gcj section	directory
gcj	tests/gcj

jikes section	directory
3.1	tests/jikes/jls/lexical-structure/unicode
3.10.4	tests/jikes/jls/lexical-structure/literals/character-literals
7.5.2	tests/jikes/jls/packages/import-declarations/type-import-on-demand-declaration
8.3.2	tests/jikes/jls/classes/field-declarations/initialization-of-fields
8.4.5	tests/jikes/jls/classes/method-declarations/method-body
8.8.5.1	tests/jikes/jls/classes/constructor-declarations/constructor-body/explicit-constructor-invocations
14.7	tests/jikes/jls/blocks-and-statements/labeled-statements
14.19	tests/jikes/jls/blocks-and-statements/try-statement
14.20	tests/jikes/jls/blocks-and-statements/unreachable-statements
jikes	tests/jikes

jvms section	directory
4.7.10	tests/jvms/class-file-format/attributes/deprecated-attribute
4.10	tests/jvms/class-file-format/limitations

Section Index:

• jls tests
• runtime tests
• non-jls tests
• gcj tests
• jikes tests
• jvms tests
• all tests

• 3.2-invalid-1
• 3.2-invalid-2
• 3.2-invalid-3
• 3.2-invalid-4
• 3.2-invalid-5
• 3.2-invalid-6
• 3.2-invalid-7
• 3.2-invalid-8
• 3.2-invalid-9
• 3.2-invalid-10
• 3.2-invalid-11
• 3.2-invalid-12
• 3.2-invalid-13
• 3.2-invalid-14
• 3.2-invalid-15
• 3.2-invalid-16
• 3.2-invalid-17
• 3.2-invalid-18
• 3.2-invalid-19
• 3.2-invalid-20
• 3.2-invalid-21
• 3.2-invalid-22
• 3.2-invalid-23
• 3.2-invalid-24
• 3.2-invalid-25
• 3.2-valid-1
• 3.2-valid-2
• 3.2-valid-3

The parser must consume the largest token, even if another interpretation is valid

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-1 { The parser must consume the largest token,
        even if another interpretation is valid } {
    
    empty_class T32i1 {
        int foo(int a, int b) {
            return a--b;
        }
    }

} {FAIL}

ensure that unicode escapes are processed before tokenization is done

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-2 { ensure that unicode escapes are processed
        before tokenization is done } {
    
    empty_class T32i2 {
        int foo(int a, int b) {
            return \u0061\u002d\u002d\u0062;
        }
    }

} {FAIL}

The parser must consume the largest token, even if another interpretation is valid

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-3 { The parser must consume the largest token,
        even if another interpretation is valid } {
    
    compile [saveas T32i3.java {classT32i3 {}}]

} {FAIL}

The parser must consume the largest token, even if another interpretation is valid

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-4 { The parser must consume the largest token,
        even if another interpretation is valid } {
    
    empty_main T32i4 {
        int i = 1/// comment starts at first /, not second
        1;
    }

} {FAIL}

Comments, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-5 { Comments, as tokens, separate other tokens } {
    
    empty_main T32i5 {
        int i = 1/**/0;
    }

} {FAIL}

Comments, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-6 { Comments, as tokens, separate other tokens } {
    
    empty_main T32i6 {
        i/**/nt i = 10;
    }

} {FAIL}

Comments, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-7 { Comments, as tokens, separate other tokens } {
    
    empty_main T32i7 {
        int i = 0;
        i +/**/= 10;
    }

} {FAIL}

An unterminated \ is illegal

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-8 { An unterminated \ is illegal } {
    
    compile [saveas T32i8.java "class T32i8{} \\"]

} {FAIL}

Even in comments, \u escapes must be legal

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-9 { Even in comments, \u escapes must be legal } {
    
    empty_main T32i9 {
	/* \udefg */
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-10 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i10 {
        int i = 0;
        i + = 10;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-11 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i11 {
        int i = 0;
        i = i > > 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-12 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i12 {
        int i = 0;
        i = i > > > 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-13 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i13 {
        int i = 0;
        i = i >> > 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-14 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i14 {
        int i = 0;
        i = i > >> 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-15 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i15 {
        int i = 0;
        boolean b = i > = 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-16 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i16 {
        int i = 0;
        i > > = 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-17 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i17 {
        int i = 0;
        i >> = 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-18 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i18 {
        int i = 0;
        i > >= 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-19 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i19 {
        int i = 0;
        i > > > = 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-20 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i20 {
        int i = 0;
        i >> >= 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-21 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i21 {
        int i = 0;
        i > > >= 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-22 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i22 {
        int i = 0;
        i > >> = 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-23 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i23 {
        int i = 0;
        i >> > = 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-24 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i24 {
        int i = 0;
        i > >>= 1;
    }

} {FAIL}

Whitespace, as tokens, separate other tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.2-invalid-25 { Whitespace, as tokens, separate other tokens } {
    
    empty_main T32i25 {
        int i = 0;
        i >>> = 1;
    }

} {FAIL}

Compiler should recognize difference in tokens

Expected Result: PASS

Regression Test:

tcltest::test 3.2-valid-1 { Compiler should recognize difference in tokens } {
    
    empty_main T32v1 {
        boolean b1=""+1instanceof String;
        boolean b2=""+1Linstanceof String;
        boolean b3=""+1linstanceof String;
        boolean b4=""+1Dinstanceof String;
        boolean b5=""+1dinstanceof String;
        boolean b6=""+1Finstanceof String;
        boolean b7=""+1finstanceof String;
        boolean b8=""+0x1instanceof String;
        boolean b9=""+0xAinstanceof String;
        boolean b10=""+0xainstanceof String;
        boolean b11=""+'1'instanceof String;
        boolean b12=""+1.instanceof String;
        boolean b13=""+.1instanceof String;
    }

} {PASS}

The parser must consume the largest token, even if another interpretation is valid

Expected Result: PASS

Regression Test:

tcltest::test 3.2-valid-2 { The parser must consume the largest token,
        even if another interpretation is valid } {
    
    empty_main T32v2 {
        int i = 1/* only one comment, last / performs division *//1;
    }

} {PASS}

The parser must consume the largest token

Expected Result: PASS

Regression Test:

tcltest::test 3.2-valid-3 { The parser must consume the largest token } {
    
    empty_main T32v3 {
	int i = 1;
	boolean b = i >= 1;
	i >>= i >> 1;
	i >>>= i >>> 1;
    }

} {PASS}

• 3.3-invalid-1
• 3.3-invalid-2
• 3.3-invalid-3
• 3.3-invalid-4
• 3.3-invalid-5
• 3.3-invalid-6
• 3.3-invalid-7
• 3.3-invalid-8
• 3.3-valid-1
• 3.3-valid-2
• 3.3-valid-3
• 3.3-valid-4
• 3.3-valid-5

A unicode sequence must have four hex digits

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-1 { A unicode sequence must have four hex digits } {
    
    compile [saveas T33i1.java {class T33i1 { char c = '\u20'; }}]

} {FAIL}

A unicode sequence does not recursively form more unicode sequences

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-2 { A unicode sequence does not recursively
        form more unicode sequences } {
    
    compile [saveas T33i2.java {
class T33i2 {
    String s = "\u005cu005a"; // this sequence is not 'z'
}
    }]

} {FAIL}

An even number of \ never form a unicode escape

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-3 { An even number of \ never form a
        unicode escape } {
    
    compile [saveas T33i3.java {class T33i3 {}/* \\u002a/}]

} {FAIL}

Unicode escapes begin with 'u' only

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-4 { Unicode escapes begin with 'u' only } {
    
    compile [saveas T33i4.java {class T33i4{ char c = '\Uabcd'; }}]

} {FAIL}

Test unicode escape cut short by file end

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-5 { Test unicode escape cut short by file end } {
    
    compile [saveas T33i5.java {class T33i5{} \u}]

} {FAIL}

Test unicode escape cut short by file end

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-6 { Test unicode escape cut short by file end } {
    
    compile [saveas T33i6.java {class T33i6{} \uuuua}]

} {FAIL}

Test unicode escape cut short by file end

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-7 { Test unicode escape cut short by file end } {
    
    compile [saveas T33i7.java {class T33i7{} \u0a}]

} {FAIL}

Test unicode escape cut short by file end

Expected Result: FAIL

Regression Test:

tcltest::test 3.3-invalid-8 { Test unicode escape cut short by file end } {
    
    compile [saveas T33i8.java {class T33i8{} \u00a}]

} {FAIL}

Multiple u's are allowed in unicode escapes

Expected Result: PASS

Regression Test:

tcltest::test 3.3-valid-1 { Multiple u's are allowed in unicode escapes } {
    
    compile [saveas T33v1.java {class T33v1 { char c = '\uuuuuuuuuuabcd'; }}]

} {PASS}

Unicode sequences are case insensitive

Expected Result: PASS

Regression Test:

tcltest::test 3.3-valid-2 { Unicode sequences are case insensitive } {
    
    compile [saveas T33v2.java {
class T33v2 {
    void foo(int i) {
        switch (i) {
            case 0:
            case (('\uABcD' == '\uabCd') ? 1 : 0):
        }
    }
}
    }]

} {PASS}

Check that \u replacement matches single quoted char

Expected Result: PASS

Regression Test:

tcltest::test 3.3-valid-3 { Check that \u replacement matches single quoted char } {
    
    compile [saveas T33v3.java {
class T33v3 {
    void foo(int i) {
        switch (i) {
            case 0:
            case (('\u0061' == 'a') ? 1 : 0):
        }
    }
}
    }]

} {PASS}

Check \u replacements in the ASCII range

Expected Result: PASS

Regression Test:

tcltest::test 3.3-valid-4 { Check \u replacements in the ASCII range } {
    

    set class "
class T33v4 \{
    void foo(int i) \{
        switch (i) \{
            case 0:
"

    set total_cases 0

    # Avoid 10 (\n), 13 (\r), 39 ('), and 92 (\)

    foreach {low high} {0 9
                        11 12
                        14 38
                        40 91
                        93 127} {

        for {set i $low} {$i <= $high} {incr i} {
            incr total_cases
            append class [format "%scase ((%d == '\\u%04x') ? %d : 0): // '%c'\n"  "            "  $i $i $total_cases $i]
        }
    }

    append class "        \}\n    \}\n\}\n"

    compile [saveas T33v4.java $class]

} {PASS}

Unicode \u005c ('\') does not suppress next \

Expected Result: PASS

Regression Test:

tcltest::test 3.3-valid-5 { Unicode \u005c ('\') does not suppress next \ } {
    
    constant_expression T33v5 {'\u005c\u0030' == 0}

} {PASS}

• 3.4-sanity-1
• 3.4-valid-1
• 3.4-valid-2
• 3.4-valid-3
• 3.4-valid-4
• 3.4-valid-5
• 3.4-valid-6
• 3.4-valid-7
• 3.4-valid-8
• 3.4-valid-9
• 3.4-valid-10
• 3.4-valid-11
• 3.4-valid-12
• 3.4-valid-13
• 3.4-valid-14
• 3.4-valid-15
• 3.4-valid-16
• 3.4-valid-17
• 3.4-valid-18
• 3.4-valid-19
• 3.4-valid-20
• 3.4-valid-21
• 3.4-valid-22
• 3.4-valid-23
• 3.4-valid-24
• 3.4-valid-25
• 3.4-valid-26
• 3.4-valid-27
• 3.4-valid-28
• 3.4-valid-29
• 3.4-valid-30
• 3.4-valid-31
• 3.4-valid-32
• 3.4-valid-33
• 3.4-valid-34
• 3.4-valid-35
• 3.4-line-number-1
• 3.4-line-number-2
• 3.4-line-number-3
• 3.4-line-number-4
• 3.4-line-number-5
• 3.4-line-number-6
• 3.4-line-number-7
• 3.4-line-number-8
• 3.4-line-number-9
• 3.4-line-number-10
• 3.4-line-number-11
• 3.4-line-number-12
• 3.4-line-number-13
• 3.4-line-number-14
• 3.4-line-number-15
• 3.4-line-number-16
• 3.4-line-number-17
• 3.4-line-number-18
• 3.4-line-number-19
• 3.4-line-number-20
• 3.4-line-number-21
• 3.4-line-number-22
• 3.4-line-number-23
• 3.4-line-number-24
• 3.4-line-number-25

If this passes, the remaining tests are shot

Expected Result: FAIL

Regression Test:

tcltest::test 3.4-sanity-1 { If this passes, the remaining tests are shot } {
    
    compile [saveas T34s1.java "class T34s1 { // }"]

} {FAIL}

CR (\r) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-1 { CR (\r) is a LineTerminator } {
    
    set S \r
    compile [saveas T34v1.java "class T34v1 { // $S}"]

} {PASS}

LF (\n) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-2 { LF (\n) is a LineTerminator } {
    
    set S \n
    compile [saveas T34v2.java "class T34v2 { // $S}"]

} {PASS}

CR (\u000d) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-3 { CR (\u000d) is a LineTerminator } {
    
    set S \\u000d
    compile [saveas T34v3.java "class T34v3 { // $S}"]

} {PASS}

LF (\u000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-4 { LF (\u000a) is a LineTerminator } {
    
    set S \\u000a
    compile [saveas T34v4.java "class T34v4 { // $S}"]

} {PASS}

CR (\u000D) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-5 { CR (\u000D) is a LineTerminator } {
    
    set S \\u000D
    compile [saveas T34v5.java "class T34v5 { // $S}"]

} {PASS}

LF (\u000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-6 { LF (\u000A) is a LineTerminator } {
    
    set S \\u000A
    compile [saveas T34v6.java "class T34v6 { // $S}"]

} {PASS}

CRLF (\r\n) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-7 { CRLF (\r\n) is a LineTerminator } {
    
    set S \r\n
    compile [saveas T34v7.java "class T34v7 { // $S}"]

} {PASS}

CRLF (\r\u000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-8 { CRLF (\r\u000a) is a LineTerminator } {
    
    set S \r\\u000a
    compile [saveas T34v8.java "class T34v8 { // $S}"]

} {PASS}

CRLF (\u000d\n) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-9 { CRLF (\u000d\n) is a LineTerminator } {
    
    set S \\u000d\n
    compile [saveas T34v9.java "class T34v9 { // $S}"]

} {PASS}

CRLF (\r\u000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-10 { CRLF (\r\u000A) is a LineTerminator } {
    
    set S \r\\u000A
    compile [saveas T34v10.java "class T34v10 { // $S}"]

} {PASS}

CRLF (\u000D\n) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-11 { CRLF (\u000D\n) is a LineTerminator } {
    
    set S \\u000D\n
    compile [saveas T34v11.java "class T34v11 { // $S}"]

} {PASS}

CRLF (\u000d\u000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-12 { CRLF (\u000d\u000a) is a LineTerminator } {
    
    set S \\u000d\\u000a
    compile [saveas T34v12.java "class T34v12 { // $S}"]

} {PASS}

CRLF (\u000d\u000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-13 { CRLF (\u000d\u000A) is a LineTerminator } {
    
    set S \\u000d\\u000A
    compile [saveas T34v13.java "class T34v13 { // $S}"]

} {PASS}

CRLF (\u000D\u000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-14 { CRLF (\u000D\u000a) is a LineTerminator } {
    
    set S \\u000D\\u000a
    compile [saveas T34v14.java "class T34v14 { // $S}"]

} {PASS}

CRLF (\u000D\u000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-15 { CRLF (\u000D\u000A) is a LineTerminator } {
    
    set S \\u000D\\u000A
    compile [saveas T34v15.java "class T34v15 { // $S}"]

} {PASS}

CR (\uuuuu000d) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-16 { CR (\uuuuu000d) is a LineTerminator } {
    
    set S \\uuuuu000d
    compile [saveas T34v16.java "class T34v16 { // $S}"]

} {PASS}

LF (\uuuuu000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-17 { LF (\uuuuu000a) is a LineTerminator } {
    
    set S \\uuuuu000a
    compile [saveas T34v17.java "class T34v17 { // $S}"]

} {PASS}

CR (\uuuuu000D) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-18 { CR (\uuuuu000D) is a LineTerminator } {
    
    set S \\uuuuu000D
    compile [saveas T34v18.java "class T34v18 { // $S}"]

} {PASS}

LF (\uuuuu000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-19 { LF (\uuuuu000A) is a LineTerminator } {
    
    set S \\uuuuu000A
    compile [saveas T34v19.java "class T34v19 { // $S}"]

} {PASS}

CRLF (\r\uuuuu000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-20 { CRLF (\r\uuuuu000a) is a LineTerminator } {
    
    set S \r\\uuuuu000a
    compile [saveas T34v20.java "class T34v20 { // $S}"]

} {PASS}

CRLF (\uuuuu000d\n) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-21 { CRLF (\uuuuu000d\n) is a LineTerminator } {
    
    set S \\uuuuu000d\n
    compile [saveas T34v21.java "class T34v21 { // $S}"]

} {PASS}

CRLF (\r\uuuuu000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-22 { CRLF (\r\uuuuu000A) is a LineTerminator } {
    
    set S \r\\uuuuu000A
    compile [saveas T34v22.java "class T34v22 { // $S}"]

} {PASS}

CRLF (\uuuuu000D\n) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-23 { CRLF (\uuuuu000D\n) is a LineTerminator } {
    
    set S \\uuuuu000D\n
    compile [saveas T34v23.java "class T34v23 { // $S}"]

} {PASS}

CRLF (\uuuuu000d\u000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-24 { CRLF (\uuuuu000d\u000a) is a LineTerminator } {
    
    set S \\uuuuu000d\\u000a
    compile [saveas T34v24.java "class T34v24 { // $S}"]

} {PASS}

CRLF (\uuuuu000d\u000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-25 { CRLF (\uuuuu000d\u000A) is a LineTerminator } {
    
    set S \\uuuuu000d\\u000A
    compile [saveas T34v25.java "class T34v25 { // $S}"]

} {PASS}

CRLF (\uuuuu000D\u000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-26 { CRLF (\uuuuu000D\u000a) is a LineTerminator } {
    
    set S \\uuuuu000D\\u000a
    compile [saveas T34v26.java "class T34v26 { // $S}"]

} {PASS}

CRLF (\uuuuu000D\u000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-27 { CRLF (\uuuuu000D\u000A) is a LineTerminator } {
    
    set S \\uuuuu000D\\u000A
    compile [saveas T34v27.java "class T34v27 { // $S}"]

} {PASS}

CRLF (\u000d\uuuuu000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-28 { CRLF (\u000d\uuuuu000a) is a LineTerminator } {
    
    set S \\u000d\\uuuuu000a
    compile [saveas T34v28.java "class T34v28 { // $S}"]

} {PASS}

CRLF (\u000d\uuuuu000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-29 { CRLF (\u000d\uuuuu000A) is a LineTerminator } {
    
    set S \\u000d\\uuuuu000A
    compile [saveas T34v29.java "class T34v29 { // $S}"]

} {PASS}

CRLF (\u000D\uuuuu000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-30 { CRLF (\u000D\uuuuu000a) is a LineTerminator } {
    
    set S \\u000D\\uuuuu000a
    compile [saveas T34v30.java "class T34v30 { // $S}"]

} {PASS}

CRLF (\u000D\uuuuu000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-31 { CRLF (\u000D\uuuuu000A) is a LineTerminator } {
    
    set S \\u000D\\uuuuu000A
    compile [saveas T34v31.java "class T34v31 { // $S}"]

} {PASS}

CRLF (\uuuuu000d\uuuuu000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-32 { CRLF (\uuuuu000d\uuuuu000a) is a LineTerminator } {
    
    set S \\uuuuu000d\\uuuuu000a
    compile [saveas T34v32.java "class T34v32 { // $S}"]

} {PASS}

CRLF (\uuuuu000d\uuuuu000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-33 { CRLF (\uuuuu000d\uuuuu000A) is a LineTerminator } {
    
    set S \\uuuuu000d\\uuuuu000A
    compile [saveas T34v33.java "class T34v33 { // $S}"]

} {PASS}

CRLF (\uuuuu000D\uuuuu000a) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-34 { CRLF (\uuuuu000D\uuuuu000a) is a LineTerminator } {
    
    set S \\uuuuu000D\\uuuuu000a
    compile [saveas T34v34.java "class T34v34 { // $S}"]

} {PASS}

CRLF (\uuuuu000D\uuuuu000A) is a LineTerminator

Expected Result: PASS

Regression Test:

tcltest::test 3.4-valid-35 { CRLF (\uuuuu000D\uuuuu000A) is a LineTerminator } {
    
    set S \\uuuuu000D\\uuuuu000A
    compile [saveas T34v35.java "class T34v35 { // $S}"]

} {PASS}

CR (\r) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-1 { CR (\r) is a LineTerminator } {
    
    set S \r
    compile [saveas T34ln1.java "${S}class T34ln1 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

LF (\n) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-2 { LF (\n) is a LineTerminator } {
    
    set S \n
    compile [saveas T34ln2.java "${S}class T34ln2 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CR (\u000d) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-3 { CR (\u000d) is a LineTerminator } {
    
    set S \\u000d
    compile [saveas T34ln3.java "${S}class T34ln3 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

LF (\u000a) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-4 { LF (\u000a) is a LineTerminator } {
    
    set S \\u000a
    compile [saveas T34ln4.java "${S}class T34ln4 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CR (\u000D) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-5 { CR (\u000D) is a LineTerminator } {
    
    set S \\u000D
    compile [saveas T34ln5.java "${S}class T34ln5 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

LF (\u000A) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-6 { LF (\u000A) is a LineTerminator } {
    
    set S \\u000A
    compile [saveas T34ln6.java "${S}class T34ln6 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\r\n) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-7 { CRLF (\r\n) is a LineTerminator } {
    
    set S \r\n
    compile [saveas T34ln7.java "${S}class T34ln7 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\r\u000a) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-8 { CRLF (\r\u000a) is a LineTerminator } {
    
    set S \r\\u000a
    compile [saveas T34ln8.java "${S}class T34ln8 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\u000d\n) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-9 { CRLF (\u000d\n) is a LineTerminator } {
    
    set S \\u000d\n
    compile [saveas T34ln9.java "${S}class T34ln9 {}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\r\u000A) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-10 { CRLF (\r\u000A) is a LineTerminator } {
    
    set S \r\\u000A
    compile [saveas T34ln10.java "${S}class T34ln10{}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\u000D\n) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-11 { CRLF (\u000D\n) is a LineTerminator } {
    
    set S \\u000D\n
    compile [saveas T34ln11.java "${S}class T34ln11{}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\u000d\u000a) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-12 { CRLF (\u000d\u000a) is a LineTerminator } {
    
    set S \\u000d\\u000a
    compile [saveas T34ln12.java "${S}class T34ln12{}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\u000d\u000A) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-13 { CRLF (\u000d\u000A) is a LineTerminator } {
    
    set S \\u000d\\u000A
    compile [saveas T34ln13.java "${S}class T34ln13{}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\u000D\u000a) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-14 { CRLF (\u000D\u000a) is a LineTerminator } {
    
    set S \\u000D\\u000a
    compile [saveas T34ln14.java "${S}class T34ln14{}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRLF (\u000D\u000A) is a LineTerminator

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-15 { CRLF (\u000D\u000A) is a LineTerminator } {
    
    set S \\u000D\\u000A
    compile [saveas T34ln15.java "${S}class T34ln15{}oops"]
    match_err_or_warn {*.java*2*}

} {1}

CRCR (\r\r) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-16 { CRCR (\r\r) is two LineTerminators } {
    
    set S \r\r
    compile [saveas T34ln16.java "${S}class T34ln16{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

CRCR (\u000d\u000d) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-17 { CRCR (\u000d\u000d) is two LineTerminators } {
    
    set S \\u000d\\u000d
    compile [saveas T34ln17.java "${S}class T34ln17{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

LFLF (\n\n) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-18 { LFLF (\n\n) is two LineTerminators } {
    
    set S \n\n
    compile [saveas T34ln18.java "${S}class T34ln18{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

LFLF (\u000a\u000a) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-19 { LFLF (\u000a\u000a) is two LineTerminators } {
    
    set S \\u000a\\u000a
    compile [saveas T34ln19.java "${S}class T34ln19{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

LFCR (\n\r) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-20 { LFCR (\n\r) is two LineTerminators } {
    
    set S \n\r
    compile [saveas T34ln20.java "${S}class T34ln20{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

LFCR (\u000a\u000d) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-21 { LFCR (\u000a\u000d) is two LineTerminators } {
    
    set S \\u000a\\u000d
    compile [saveas T34ln21.java "${S}class T34ln21{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

CRLFCRLF (\r\n\r\n) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-22 { CRLFCRLF (\r\n\r\n) is two LineTerminators } {
    
    set S \r\n\r\n
    compile [saveas T34ln22.java "${S}class T34ln22{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

CRLFCRLF (\u000d\u000a\u000d\u000a) is two LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-23 { CRLFCRLF (\u000d\u000a\u000d\u000a) is two LineTerminators } {
    
    set S \\u000d\\u000a\\u000d\\u000a
    compile [saveas T34ln23.java "${S}class T34ln23{}oops"]
    match_err_or_warn {*.java*3*}

} {1}

CRCRLFLF (\r\r\n\n) is three LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-24 { CRCRLFLF (\r\r\n\n) is three LineTerminators } {
    
    set S \r\r\n\n
    compile [saveas T34ln24.java "${S}class T34ln24{}oops"]
    match_err_or_warn {*.java*4*}

} {1}

CRCRLFLF (\u000d\u000d\u000a\u000a) is three LineTerminators

Expected Result: 1

Regression Test:

tcltest::test 3.4-line-number-25 { CRCRLFLF (\u000d\u000d\u000a\u000a) is three LineTerminators } {
    
    set S \\u000d\\u000d\\u000a\\u000a
    compile [saveas T34ln25.java "${S}class T34ln25{}oops"]
    match_err_or_warn {*.java*4*}

} {1}

• 3.5-1
• 3.5-2
• 3.5-3
• 3.5-4
• 3.5-5
• 3.5-6
• 3.5-7
• 3.5-8
• 3.5-9
• 3.5-10
• 3.5-11
• 3.5-12
• 3.5-13
• 3.5-14
• 3.5-15
• 3.5-16
• 3.5-17

The input sequence CRCR (0x0d0d) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-1 { The input sequence CRCR (0x0d0d) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \r\r
    compile [saveas T351.java "class T351 {$S$S}"]

} {PASS}

The input sequence LFLF (0x0a0a) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-2 { The input sequence LFLF (0x0a0a) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \n\n
    compile [saveas T352.java "class T352 {$S$S}"]

} {PASS}

The input sequence LFCR (0x0a0d) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-3 { The input sequence LFCR (0x0a0d) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \n\r
    compile [saveas T353.java "class T353 {$S$S}"]

} {PASS}

The input sequence CRLFCRLF (0x0d0a0d0a) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-4 { The input sequence CRLFCRLF (0x0d0a0d0a) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \r\n\r\n
    compile [saveas T354.java "class T354 {$S$S}"]

} {PASS}

The input sequence CRCRLF (0x0d0d0a) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-5 { The input sequence CRCRLF (0x0d0d0a) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \r\r\n
    compile [saveas T355.java "class T355 {$S$S}"]

} {PASS}

The input sequence LFCRLF (0x0a0d0a) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-6 { The input sequence LFCRLF (0x0a0d0a) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \n\r\n
    compile [saveas T356.java "class T356 {$S$S}"]

} {PASS}

The input sequence CRLFCR (0x0d0a0d) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-7 { The input sequence CRLFCR (0x0d0a0d) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \r\n\r
    compile [saveas T357.java "class T357 {$S$S}"]

} {PASS}

The input sequence CRLFLF (0x0d0a0a) should be treated as two line terminators with an empty collection of input elements between them.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-8 { The input sequence CRLFLF (0x0d0a0a) should be treated as two
        line terminators with an empty collection of input elements between them.} {
    
    set S \r\n\n
    compile [saveas T358.java "class T358 {$S$S}"]

} {PASS}

The ASCII SUB character (0x1a) should be ignored if it is the last character in the escaped stream.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-9 { The ASCII SUB character (0x1a) should be ignored if it is
        the last character in the escaped stream. } {
    
    set S \x1a
    compile [saveas T359.java "class T359 {  }$S"]

} {PASS}

The ASCII SUB character (0x1a) should be ignored if it is the last character in the escaped stream.

Expected Result: PASS

Regression Test:

tcltest::test 3.5-10 { The ASCII SUB character (0x1a) should be ignored if it is
        the last character in the escaped stream. } {
    
    set S \\u001a
    compile [saveas T3510.java "class T3510 {  }$S"]

} {PASS}

The ASCII SUB character (0x1a) should be ignored if it is the last character in the escaped stream.

Expected Result: FAIL

Regression Test:

tcltest::test 3.5-11 { The ASCII SUB character (0x1a) should be ignored if it is
        the last character in the escaped stream. } {
    
    set S \x1a
    compile [saveas T3511.java "class T3511 { $S }"]

} {FAIL}

The ASCII SUB character (0x1a) may not be duplicated as the last ignored character in the stream.

Expected Result: FAIL

Regression Test:

tcltest::test 3.5-12 { The ASCII SUB character (0x1a) may not be duplicated as
        the last ignored character in the stream. } {
    
    set S \x1a
    compile [saveas T3512.java "class T3512 {} $S$S"]

} {FAIL}

The ASCII SUB character (0x1a) may not be duplicated as the last ignored character in the stream.

Expected Result: FAIL

Regression Test:

tcltest::test 3.5-13 { The ASCII SUB character (0x1a) may not be duplicated as
        the last ignored character in the stream. } {
    
    set S \\u001a
    compile [saveas T3513.java "class T3513 {} $S$S"]

} {FAIL}

The ASCII SUB character (0x1a) may not be duplicated as the last ignored character in the stream.

Expected Result: FAIL

Regression Test:

tcltest::test 3.5-14 { The ASCII SUB character (0x1a) may not be duplicated as
        the last ignored character in the stream. } {
    
    set S \x1a\\u001a
    compile [saveas T3514.java "class T3514 {} $S"]

} {FAIL}

The ASCII SUB character (0x1a) may not be duplicated as the last ignored character in the stream.

Expected Result: FAIL

Regression Test:

tcltest::test 3.5-15 { The ASCII SUB character (0x1a) may not be duplicated as
        the last ignored character in the stream. } {
    
    set S \\u001a\x1a
    compile [saveas T3515.java "class T3515 {} $S"]

} {FAIL}

Unicode byte-order-mark is not valid after decoding (however, it may be first character, but not \u escape, if file is Unicode encoded; as Unicode requires that character to be skipped)

Expected Result: FAIL

Regression Test:

tcltest::test 3.5-16 { Unicode byte-order-mark is not valid after decoding
        (however, it may be first character, but not \u escape, if file is
        Unicode encoded; as Unicode requires that character to be skipped) } {
    
    compile [saveas T3516.java "\ufeff class T3616 {}"]

} {FAIL}

Unicode reverse-bom is not valid after decoding (however, it may be first character, but not \u escape, if file is Unicode encoded; as Unicode requires that character to be skipped)

Expected Result: FAIL

Regression Test:

tcltest::test 3.5-17 { Unicode reverse-bom is not valid after decoding
        (however, it may be first character, but not \u escape, if file is
        Unicode encoded; as Unicode requires that character to be skipped) } {
    
    compile [saveas T3517.java "\ufffe class T3617 {}"]

} {FAIL}

• 3.6-invalid-1
• 3.6-invalid-2
• 3.6-invalid-3
• 3.6-invalid-4
• 3.6-invalid-5
• 3.6-invalid-6
• 3.6-invalid-7
• 3.6-invalid-8
• 3.6-invalid-9
• 3.6-invalid-10
• 3.6-invalid-11
• 3.6-invalid-12
• 3.6-invalid-13
• 3.6-invalid-14
• 3.6-valid-1
• 3.6-valid-2
• 3.6-valid-3
• 3.6-valid-4
• 3.6-valid-5
• 3.6-valid-6
• 3.6-valid-7
• 3.6-valid-8
• 3.6-valid-9
• 3.6-valid-10
• 3.6-valid-11
• 3.6-valid-12

Vertical tab (Ctrl-K) '\v' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-1 { Vertical tab (Ctrl-K) '\v' is not whitespace } {
    
    whitespace T36i1 \v

} {FAIL}

Vertical tab (Ctrl-K) '\u000b' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-2 { Vertical tab (Ctrl-K) '\u000b' is not whitespace } {
    
    whitespace T36i2 {\u000b}

} {FAIL}

Backspace (Ctrl-H) '\b' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-3 { Backspace (Ctrl-H) '\b' is not whitespace } {
    
    whitespace T36i3 \b

} {FAIL}

Backspace (Ctrl-H) '\u0008' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-4 { Backspace (Ctrl-H) '\u0008' is not whitespace } {
    
    whitespace T36i4 {\u0008}

} {FAIL}

Alert (Ctrl-G) '\a' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-5 { Alert (Ctrl-G) '\a' is not whitespace } {
    
    whitespace T36i5 \a

} {FAIL}

Alert (Ctrl-G) '\u0007' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-6 { Alert (Ctrl-G) '\u0007' is not whitespace } {
    
    whitespace T36i6 {\u0007}

} {FAIL}

Null '\0' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-7 { Null '\0' is not whitespace } {
    
    whitespace T36i7 \0

} {FAIL}

Null '\u0000' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-8 { Null '\u0000' is not whitespace } {
    
    whitespace T36i8 {\u0000}

} {FAIL}

Sub (Ctrl-Z) '\u001a' is not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-9 { Sub (Ctrl-Z) '\u001a' is not whitespace } {
    
    whitespace T36i9 {\u001a}

} {FAIL}

Ascii separators '\u001c'-'\u001f' are not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-10 { Ascii separators '\u001c'-'\u001f' are not
        whitespace } {
    
    whitespace T36i10 {\u001c}

} {FAIL}

Unicode whitespace is not always Java whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-11 { Unicode whitespace is not always Java
        whitespace } {
    
    whitespace T36i11 {\u00a1}

} {FAIL}

Unicode whitespace is not always Java whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-12 { Unicode whitespace is not always Java
        whitespace } {
    
    whitespace T36i12 {\u2008}

} {FAIL}

Unicode line separators are not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-13 { Unicode line separators are not whitespace } {
    
    whitespace T36i13 {\u2028}

} {FAIL}

Unicode paragraph separators are not whitespace

Expected Result: FAIL

Regression Test:

tcltest::test 3.6-invalid-14 { Unicode paragraph separators are not
        whitespace } {
    
    whitespace T36i14 {\u2029}

} {FAIL}

Linefeed (Ctrl-J) '\n' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-1 { Linefeed (Ctrl-J) '\n' is whitespace } {
    
    whitespace T36v1 \n

} {PASS}

Linefeed (Ctrl-J) '\u000a' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-2 { Linefeed (Ctrl-J) '\u000a' is whitespace } {
    
    whitespace T36v2 {\u000a}

} {PASS}

Carriage Return (Ctrl-M) '\r' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-3 { Carriage Return (Ctrl-M) '\r' is whitespace } {
    
    whitespace T36v3 \r

} {PASS}

Carriage Return (Ctrl-M) '\u000d' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-4 { Carriage Return (Ctrl-M) '\u000d' is whitespace } {
    
    whitespace T36v4 {\u000d}

} {PASS}

CR/LF '\r\n' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-5 { CR/LF '\r\n' is whitespace } {
    
    whitespace T36v5 \r\n

} {PASS}

CR/LF '\u000d\u000a' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-6 { CR/LF '\u000d\u000a' is whitespace } {
    
    whitespace T36v6 {\u000d\u000a}

} {PASS}

Space ' ' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-7 { Space ' ' is whitespace } {
    
    whitespace T36v7 " "

} {PASS}

Space '\u0020' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-8 { Space '\u0020' is whitespace } {
    
    whitespace T36v8 {\u0020}

} {PASS}

Tab (Ctrl-I) '\t' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-9 { Tab (Ctrl-I) '\t' is whitespace } {
    
    whitespace T36v9 \t

} {PASS}

Tab (Ctrl-I) '\u0009' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-10 { Tab (Ctrl-I) '\u0009' is whitespace } {
    
    whitespace T36v10 {\u0009}

} {PASS}

Form Feed (Ctrl-L) '\f' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-11 { Form Feed (Ctrl-L) '\f' is whitespace } {
    
    whitespace T36v11 \f

} {PASS}

Form Feed (Ctrl-L) '\u000c' is whitespace

Expected Result: PASS

Regression Test:

tcltest::test 3.6-valid-12 { Form Feed (Ctrl-L) '\u000c' is whitespace } {
    
    whitespace T36v12 {\u000c}

} {PASS}

• 3.7-1
• 3.7-2
• 3.7-3
• 3.7-4
• 3.7-5
• 3.7-6
• 3.7-7
• 3.7-8
• 3.7-9
• 3.7-10
• 3.7-11
• 3.7-12
• 3.7-13
• 3.7-14
• 3.7-15
• 3.7-16
• 3.7-17
• 3.7-18
• 3.7-19
• 3.7-20
• 3.7-21
• 3.7-22
• 3.7-23
• 3.7-24
• 3.7-25
• 3.7-26
• 3.7-27
• 3.7-28
• 3.7-29
• 3.7-30
• 3.7-31
• 3.7-32
• 3.7-33
• 3.7-34
• 3.7-35
• 3.7-36
• 3.7-37
• 3.7-38
• 3.7-39
• 3.7-line-number-1
• 3.7-line-number-2
• 3.7-line-number-3
• 3.7-line-number-4
• 3.7-line-number-5
• 3.7-line-number-6
• 3.7-line-number-7
• 3.7-line-number-8
• 3.7-line-number-9
• 3.7-line-number-10
• 3.7-line-number-11
• 3.7-line-number-12
• 3.7-line-number-13
• 3.7-line-number-14

/* anything */ is a comment

Expected Result: PASS

Regression Test:

tcltest::test 3.7-1 { /* anything */ is a comment } {
    
    compile [saveas T371.java "class T371 {/* / * // * / exit */}"]

} {PASS}

/* */ comment can span multiple lines

Expected Result: PASS

Regression Test:

tcltest::test 3.7-2 { /* */ comment can span multiple lines } {
    
    compile [saveas T372.java "class T372 {/* hello\n bye \n*/}"]

} {PASS}

// comment inside /* */ comment is ignored

Expected Result: PASS

Regression Test:

tcltest::test 3.7-3 { // comment inside /* */ comment is ignored } {
    
    compile [saveas T373.java "class T373 {/* hello\n // */}"]

} {PASS}

// comment inside // comment is ignored

Expected Result: PASS

Regression Test:

tcltest::test 3.7-4 { // comment inside // comment is ignored } {
    
    compile [saveas T374.java "class T374 {// //\n}"]

} {PASS}

/* */ comment inside // comment is ignored

Expected Result: PASS

Regression Test:

tcltest::test 3.7-5 { /* */ comment inside // comment is ignored } {
    
    compile [saveas T375.java "class T375 {// /*\n//*/\n}"]

} {PASS}

/* or // inside /* */ comment is ignored

Expected Result: PASS

Regression Test:

tcltest::test 3.7-6 { /* or // inside /* */ comment is ignored } {
    
    compile [saveas T376.java "class T376 {/* comment /* // /* */}"]

} {PASS}

/* or // inside /** */ comment is ignored

Expected Result: PASS

Regression Test:

tcltest::test 3.7-7 { /* or // inside /** */ comment is ignored } {
    
    compile [saveas T377.java "class T377 {/** comment /* // /* */}"]

} {PASS}

/**/ is a documentaiton comment

Expected Result: PASS

Regression Test:

tcltest::test 3.7-8 { /**/ is a documentaiton comment } {
    
    compile [saveas T378.java "class T378 {/**/}"]

} {PASS}

// comment separates tokens

Expected Result: PASS

Regression Test:

tcltest::test 3.7-9 { // comment separates tokens } {
    
    compile [saveas T379.java "class T379 {int//\ni;}"]

} {PASS}

/**/ comment separates tokens

Expected Result: PASS

Regression Test:

tcltest::test 3.7-10 { /**/ comment separates tokens } {
    
    compile [saveas T3710.java "class T3710 {int/* */i;}"]

} {PASS}

// comment cannot appear in literal

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-11 { // comment cannot appear in literal } {
    
    compile [saveas T3711.java "class T3711 {float f = 1.//\n0;}"]

} {FAIL}

/**/ comment cannot appear in literal

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-12 { /**/ comment cannot appear in literal } {
    
    compile [saveas T3712.java "class T3712 {float f = 1./* */0;}"]

} {FAIL}

// comment cannot appear in literal

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-13 { // comment cannot appear in literal } {
    
    compile [saveas T3713.java "class T3713 {char c = 'a//\n';}"]

} {FAIL}

/**/ comment cannot appear in literal

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-14 { /**/ comment cannot appear in literal } {
    
    compile [saveas T3714.java "class T3714 {char c = 'a/* */';}"]

} {FAIL}

/* must have matching */

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-15 { /* must have matching */ } {
    
    compile [saveas T3715.java "class T3715 {} /*"]

} {FAIL}

// may end at EOF. See Sun bug 4386773: the grammar given in the JLS will (most likely) be clarified to allow this, since virtually every previous compiler has done so

Expected Result: PASS

Regression Test:

tcltest::test 3.7-16 { // may end at EOF. See Sun bug 4386773: the grammar
        given in the JLS will (most likely) be clarified to allow this, since
        virtually every previous compiler has done so } {
    
    compile [saveas T3716.java "class T3716 {} //"]

} {PASS}

/**/ comment can contain any characters, including \0, unterminated quotes

Expected Result: PASS

Regression Test:

tcltest::test 3.7-17 { /**/ comment can contain any characters, including \0,
        unterminated quotes } {
    
    empty_class T3717 "/*\0'\"*/"

} {PASS}

/**/ comment can contain any characters, including \0, unterminated quotes

Expected Result: PASS

Regression Test:

tcltest::test 3.7-18 { /**/ comment can contain any characters, including \0,
        unterminated quotes } {
    
    empty_class T3718 {/*\u0000\u0027\u0022*/}

} {PASS}

// comment can contain any characters, including \0, unterminated quotes

Expected Result: PASS

Regression Test:

tcltest::test 3.7-19 { // comment can contain any characters, including \0,
        unterminated quotes } {
    
    empty_class T3719 "//\0'\""

} {PASS}

// comment can contain any characters, including \0, unterminated quotes

Expected Result: PASS

Regression Test:

tcltest::test 3.7-20 { // comment can contain any characters, including \0,
        unterminated quotes } {
    
    empty_class T3720 {//\u0000\u0027\u0022}

} {PASS}

/**/ comment can contain any characters, including ASCII SUB

Expected Result: PASS

Regression Test:

tcltest::test 3.7-21 { /**/ comment can contain any characters, including ASCII SUB } {
    
    empty_class T3721 "/*\x1a*/"

} {PASS}

/**/ comment can contain any characters, including ASCII SUB

Expected Result: PASS

Regression Test:

tcltest::test 3.7-22 { /**/ comment can contain any characters, including ASCII SUB } {
    
    empty_class T3722 {/*\u001a*/}

} {PASS}

// comment can contain any characters, including ASCII SUB

Expected Result: PASS

Regression Test:

tcltest::test 3.7-23 { // comment can contain any characters, including ASCII SUB } {
    
    empty_class T3723 "//\x1a"

} {PASS}

// comment can contain any characters, including ASCII SUB

Expected Result: PASS

Regression Test:

tcltest::test 3.7-24 { // comment can contain any characters, including ASCII SUB } {
    
    empty_class T3724 {//\u001a}

} {PASS}

comments may be unicode

Expected Result: PASS

Regression Test:

tcltest::test 3.7-25 { comments may be unicode } {
    
    empty_main T3725 {
        \u002f\u002f This is a comment\u000a int i;
        \u002f\u002a So's this \u002a\u002f
        i = 1;
    }

} {PASS}

/*/ is not a comment, but an opening for /* */

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-26 { /*/ is not a comment, but an opening for /* */ } {
    
    empty_class T3726 "/*/"

} {FAIL}

/*/ is not a comment, but an opening for /* */

Expected Result: PASS

Regression Test:

tcltest::test 3.7-27 { /*/ is not a comment, but an opening for /* */ } {
    
    empty_class T3727 {
        /*/
        */
    }

} {PASS}

/** */ doc comments are legal, in spite of a bug in the grammar which doesn't allow them

Expected Result: PASS

Regression Test:

tcltest::test 3.7-28 { /** */ doc comments are legal, in spite of a bug in the
        grammar which doesn't allow them } {
    
    empty_class T3728 "/** */"

} {PASS}

/**/ is a legal, degenerate doc comment, in spite of a bug in the grammar which doesn't allow it

Expected Result: PASS

Regression Test:

tcltest::test 3.7-29 { /**/ is a legal, degenerate doc comment, in spite of
        a bug in the grammar which doesn't allow it } {
    
    empty_class T3729 "/**/"

} {PASS}

/* */ comments don't nest

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-30 { /* */ comments don't nest } {
    
    empty_class T3730 "/* /* */ */"

} {FAIL}

/* */ comments don't nest in //

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-31 { /* */ comments don't nest in // } {
    
    empty_class T3731 "// /* \n */"

} {FAIL}

/** */ comment separates tokens

Expected Result: PASS

Regression Test:

tcltest::test 3.7-32 { /** */ comment separates tokens } {
    
    compile [saveas T3732.java "class T3732 {int/** */i;}"]

} {PASS}

/** */ comment separates tokens

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-33 { /** */ comment separates tokens } {
    
    compile [saveas T3733.java "class T3733 {float f = 1./** */0;}"]

} {FAIL}

/**/ comment cannot appear in literal

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-34 { /**/ comment cannot appear in literal } {
    
    compile [saveas T3734.java "class T3734 {char c = 'a/** */';}"]

} {FAIL}

/** must have matching */

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-35 { /** must have matching */ } {
    
    compile [saveas T3735.java "class T3735 {} /**"]

} {FAIL}

/* must have matching */

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-36 { /* must have matching */ } {
    
    compile [saveas T3736.java "class T3736 {} /* "]

} {FAIL}

/** must have matching */

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-37 { /** must have matching */ } {
    
    compile [saveas T3737.java "class T3737 {} /** "]

} {FAIL}

/* must have matching */

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-38 { /* must have matching */ } {
    
    compile [saveas T3738.java "class T3738 {} /* *"]

} {FAIL}

/** must have matching */

Expected Result: FAIL

Regression Test:

tcltest::test 3.7-39 { /** must have matching */ } {
    
    compile [saveas T3739.java "class T3739 {} /** *"]

} {FAIL}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-1 { test line counts in comments } {
    
    compile [saveas T37ln1.java "class T37ln1 { // \n }   oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-2 { test line counts in comments } {
    
    compile [saveas T37ln2.java "class T37ln2 { // \\u000a }   oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-3 { test line counts in comments } {
    
    compile [saveas T37ln3.java "class T37ln3 { /* \n */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-4 { test line counts in comments } {
    
    compile [saveas T37ln4.java "class T37ln4 { /* \\u000a */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-5 { test line counts in comments } {
    
    compile [saveas T37ln5.java "class T37ln5 { /*\n */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-6 { test line counts in comments } {
    
    compile [saveas T37ln6.java "class T37ln6 { /*\\u000a */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-7 { test line counts in comments } {
    
    compile [saveas T37ln7.java "class T37ln7 { /* *\n */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-8 { test line counts in comments } {
    
    compile [saveas T37ln8.java "class T37ln8 { /* *\\u000a */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-9 { test line counts in comments } {
    
    compile [saveas T37ln9.java "class T37ln9 { /** \n */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-10 { test line counts in comments } {
    
    compile [saveas T37ln10.java "class T37ln10 { /** \\u000a */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-11 { test line counts in comments } {
    
    compile [saveas T37ln11.java "class T37ln11 { /**\n */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-12 { test line counts in comments } {
    
    compile [saveas T37ln12.java "class T37ln12 { /**\\u000a */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-13 { test line counts in comments } {
    
    compile [saveas T37ln13.java "class T37ln13 { /** *\n */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

test line counts in comments

Expected Result: 1

Regression Test:

tcltest::test 3.7-line-number-14 { test line counts in comments } {
    
    compile [saveas T37ln14.java "class T37ln14 { /** *\\u000a */ }oops"]
    match_err_or_warn {*.java*2*}

} {1}

• 3.8-invalid-1
• 3.8-invalid-2
• 3.8-invalid-3
• 3.8-invalid-4
• 3.8-invalid-5
• 3.8-invalid-6
• 3.8-invalid-7
• 3.8-invalid-8
• 3.8-invalid-9
• 3.8-valid-1
• 3.8-valid-2
• 3.8-valid-3
• 3.8-valid-4
• 3.8-valid-5
• 3.8-valid-6
• 3.8-valid-7
• 3.8-valid-8
• 3.8-valid-9
• 3.8-valid-10
• 3.8-valid-11
• 3.8-valid-12
• 3.8-ignorable-1
• 3.8-ignorable-2

A keyword cannot be an identifier

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-1 { A keyword cannot be an identifier } {
    
    identifier T38i1 int

} {FAIL}

A keyword cannot be an identifier

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-2 { A keyword cannot be an identifier } {
    
    identifier T38i2 {\u0069\u006e\u0074}

} {FAIL}

A boolean literal cannot be an identifier

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-3 { A boolean literal cannot be an identifier } {
    
    identifier T38i3 true

} {FAIL}

A boolean literal cannot be an identifier

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-4 { A boolean literal cannot be an identifier } {
    
    identifier T38i4 {\u0074\u0072\u0075\u0065}

} {FAIL}

A null literal cannot be an identifier

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-5 { A null literal cannot be an identifier } {
    
    identifier T38i5 null

} {FAIL}

A unicode null literal cannot be an identifier

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-6 { A unicode null literal cannot be an identifier } {
    
    identifier T38i6 {\u006e\u0075\u006c\u006c}

} {FAIL}

The first character of an identifier must satisfy Character.isJavaIdentifierStart

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-7 { The first character of an identifier
        must satisfy Character.isJavaIdentifierStart } {
    
    identifier T38i7 1

} {FAIL}

Trailing characters in an identifier must satisfy Character.isJavaIdentifierPart

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-8 { Trailing characters in an identifier must
        satisfy Character.isJavaIdentifierPart } {
    
    identifier T38i8 i\\uffff

} {FAIL}

Invalid, as \0 is not short for \u0000

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-invalid-9 { Invalid, as \0 is not short for \u0000 } {
    
    identifier T38i9 i\\0

} {FAIL}

example identifier

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-1 { example identifier } {
    
    identifier T38v1 String

} {PASS}

example identifier

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-2 { example identifier } {
    
    identifier T38v2 i3

} {PASS}

example identifier

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-3 { example identifier } {
    
    identifier T38v3 MAX_VALUE

} {PASS}

example identifier

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-4 { example identifier } {
    
    identifier T38v4 isLetterOrDigit

} {PASS}

valid identifier

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-5 { valid identifier } {
    
    identifier T38v5 _

} {PASS}

valid identifier, although discouraged

Expected Result: OK

Regression Test:

tcltest::test 3.8-valid-6 { valid identifier, although discouraged } {
    
    ok_pass_or_warn [identifier T38v6 \$] 

} {OK}

valid identifier, although discouraged

Expected Result: OK

Regression Test:

tcltest::test 3.8-valid-7 { valid identifier, although discouraged } {
    
    ok_pass_or_warn [identifier T38v7 a_\$1] 

} {OK}

valid identifier, as \ufeff satisfies Character.isJavaIdentifierPart

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-8 { valid identifier, as \ufeff satisfies
        Character.isJavaIdentifierPart } {
    
    identifier T38v8 i\\ufeff

} {PASS}

valid identifier, as \u0000 satisfies Character.isJavaIdentifierPart

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-9 { valid identifier, as \u0000 satisfies
        Character.isJavaIdentifierPart } {
    
    identifier T38v9 i\\u0000

} {PASS}

example of unique identifiers

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-10 { example of unique identifiers } {
    
    compile [saveas T38v10.java {
class T38v10 {
    int \u0041; // LATIN CAPITAL A
    int \u0061; // LATIN SMALL A
    int \u0391; // GREEK CAPITAL ALPHA
    int \u0480; // CYRILLIC SMALL A
}
    }]

} {PASS}

example of unique identifiers

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-11 { example of unique identifiers } {
    
    compile [saveas T38v11.java {
class T38v11 {
    int \u00c1; // LATIN CAPITAL A ACUTE
    int \u0041\u0301; // LATIN CAPITAL A, followed by NON-SPACING ACUTE
}
    }]

} {PASS}

valid identifier, as \u001a satisfies Character.isJavaIdentifierPart

Expected Result: PASS

Regression Test:

tcltest::test 3.8-valid-12 { valid identifier, as \u001a satisfies
        Character.isJavaIdentifierPart } {
    
    identifier T38v12 i\\u001a

} {PASS}

JCL docs refer to 200a, but this is a typo

Expected Result: FAIL

Regression Test:

tcltest::test 3.8-ignorable-1 { JCL docs refer to 200a, but this is a typo } {
    
    compile [saveas T38ignoreable1.java {
class T38ignoreable1 {
    int i\u200a;
}
    }]

} {FAIL}

JCL docs refer to 200a, but real value is 202a

Expected Result: PASS

Regression Test:

tcltest::test 3.8-ignorable-2 { JCL docs refer to 200a, but real value is 202a } {
    
    compile [saveas T38ignoreable2.java {
class T38ignoreable2 {
    int i\u202a;
}
    }]

} {PASS}

• 3.9-1
• 3.9-2
• 3.9-3
• 3.9-4
• 3.9-5
• 3.9-6
• 3.9-7
• 3.9-8
• 3.9-9
• 3.9-10
• 3.9-11
• 3.9-12
• 3.9-13
• 3.9-14
• 3.9-15
• 3.9-16
• 3.9-17
• 3.9-18
• 3.9-19
• 3.9-20
• 3.9-21
• 3.9-22
• 3.9-23
• 3.9-24
• 3.9-25
• 3.9-26
• 3.9-27
• 3.9-28
• 3.9-29
• 3.9-30
• 3.9-31
• 3.9-32
• 3.9-33
• 3.9-34
• 3.9-35
• 3.9-36
• 3.9-37
• 3.9-38
• 3.9-39
• 3.9-40
• 3.9-41
• 3.9-42
• 3.9-43
• 3.9-44
• 3.9-45
• 3.9-46
• 3.9-47
• 3.9-48
• 3.9-valid-1
• 3.9-valid-2
• 3.9-valid-3
• 3.9-valid-4
• 3.9-valid-5
• 3.9-valid-6
• 3.9-valid-7
• 3.9-valid-8
• 3.9-valid-9
• 3.9-valid-10
• 3.9-valid-11
• 3.9-valid-12
• 3.9-valid-13
• 3.9-valid-14
• 3.9-valid-15
• 3.9-valid-16
• 3.9-valid-17
• 3.9-valid-18
• 3.9-valid-19
• 3.9-valid-20
• 3.9-valid-21
• 3.9-valid-22
• 3.9-valid-23
• 3.9-valid-24
• 3.9-valid-25
• 3.9-valid-26
• 3.9-valid-27
• 3.9-valid-28
• 3.9-valid-29

abstract is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-1 { abstract is a keyword } {
    
    keyword T391 abstract

} {FAIL}

boolean is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-2 { boolean is a keyword } {
    
    keyword T392 boolean

} {FAIL}

break is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-3 { break is a keyword } {
    
    keyword T393 break

} {FAIL}

byte is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-4 { byte is a keyword } {
    
    keyword T394 byte

} {FAIL}

case is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-5 { case is a keyword } {
    
    keyword T395 case

} {FAIL}

catch is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-6 { catch is a keyword } {
    
    keyword T396 catch

} {FAIL}

char is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-7 { char is a keyword } {
    
    keyword T397 char

} {FAIL}

class is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-8 { class is a keyword } {
    
    keyword T398 class

} {FAIL}

const is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-9 { const is a keyword } {
    
    keyword T399 const

} {FAIL}

continue is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-10 { continue is a keyword } {
    
    keyword T3910 continue

} {FAIL}

default is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-11 { default is a keyword } {
    
    keyword T3911 default

} {FAIL}

do is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-12 { do is a keyword } {
    
    keyword T3912 do

} {FAIL}

double is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-13 { double is a keyword } {
    
    keyword T3913 double

} {FAIL}

else is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-14 { else is a keyword } {
    
    keyword T3914 else

} {FAIL}

extends is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-15 { extends is a keyword } {
    
    keyword T3915 extends

} {FAIL}

final is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-16 { final is a keyword } {
    
    keyword T3916 final

} {FAIL}

finally is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-17 { finally is a keyword } {
    
    keyword T3917 finally

} {FAIL}

float is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-18 { float is a keyword } {
    
    keyword T3918 float

} {FAIL}

for is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-19 { for is a keyword } {
    
    keyword T3919 for

} {FAIL}

goto is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-20 { goto is a keyword } {
    
    keyword T3920 goto

} {FAIL}

if is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-21 { if is a keyword } {
    
    keyword T3921 if

} {FAIL}

implements is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-22 { implements is a keyword } {
    
    keyword T3922 implements

} {FAIL}

import is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-23 { import is a keyword } {
    
    keyword T3923 import

} {FAIL}

instanceof is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-24 { instanceof is a keyword } {
    
    keyword T3924 instanceof

} {FAIL}

int is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-25 { int is a keyword } {
    
    keyword T3925 int

} {FAIL}

interface is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-26 { interface is a keyword } {
    
    keyword T3926 interface

} {FAIL}

long is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-27 { long is a keyword } {
    
    keyword T3927 long

} {FAIL}

native is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-28 { native is a keyword } {
    
    keyword T3928 native

} {FAIL}

new is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-29 { new is a keyword } {
    
    keyword T3929 new

} {FAIL}

package is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-30 { package is a keyword } {
    
    keyword T3930 package

} {FAIL}

private is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-31 { private is a keyword } {
    
    keyword T3931 private

} {FAIL}

protected is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-32 { protected is a keyword } {
    
    keyword T3932 protected

} {FAIL}

public is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-33 { public is a keyword } {
    
    keyword T3933 public

} {FAIL}

return is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-34 { return is a keyword } {
    
    keyword T3934 return

} {FAIL}

short is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-35 { short is a keyword } {
    
    keyword T3935 short

} {FAIL}

static is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-36 { static is a keyword } {
    
    keyword T3936 static

} {FAIL}

strictfp is a keyword, it is new to version 2 of the JLS spec

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-37 { strictfp is a keyword,
        it is new to version 2 of the JLS spec } {
    
    keyword T3937 strictfp

} {FAIL}

super is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-38 { super is a keyword } {
    
    keyword T3938 super

} {FAIL}

switch is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-39 { switch is a keyword } {
    
    keyword T3939 switch

} {FAIL}

synchronized is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-40 { synchronized is a keyword } {
    
    keyword T3940 synchronized

} {FAIL}

this is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-41 { this is a keyword } {
    
    keyword T3941 this

} {FAIL}

throw is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-42 { throw is a keyword } {
    
    keyword T3942 throw

} {FAIL}

throws is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-43 { throws is a keyword } {
    
    keyword T3943 throws

} {FAIL}

transient is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-44 { transient is a keyword } {
    
    keyword T3944 transient

} {FAIL}

try is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-45 { try is a keyword } {
    
    keyword T3945 try

} {FAIL}

void is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-46 { void is a keyword } {
    
    keyword T3946 void

} {FAIL}

volatile is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-47 { volatile is a keyword } {
    
    keyword T3947 volatile

} {FAIL}

while is a keyword

Expected Result: FAIL

Regression Test:

tcltest::test 3.9-48 { while is a keyword } {
    
    keyword T3948 while

} {FAIL}

asm is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-1 { asm is not a keyword } {
    
    keyword T39v1 asm

} {PASS}

auto is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-2 { auto is not a keyword } {
    
    keyword T39v2 auto

} {PASS}

bool is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-3 { bool is not a keyword } {
    
    keyword T39v3 bool

} {PASS}

const_cast is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-4 { const_cast is not a keyword } {
    
    keyword T39v4 const_cast

} {PASS}

delete is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-5 { delete is not a keyword } {
    
    keyword T39v5 delete

} {PASS}

dynamic_cast is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-6 { dynamic_cast is not a keyword } {
    
    keyword T39v6 dynamic_cast

} {PASS}

enum is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-7 { enum is not a keyword } {
    
    keyword T39v7 enum

} {PASS}

explicit is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-8 { explicit is not a keyword } {
    
    keyword T39v8 explicit

} {PASS}

extern is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-9 { extern is not a keyword } {
    
    keyword T39v9 extern

} {PASS}

friend is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-10 { friend is not a keyword } {
    
    keyword T39v10 friend

} {PASS}

inline is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-11 { inline is not a keyword } {
    
    keyword T39v11 inline

} {PASS}

mutable is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-12 { mutable is not a keyword } {
    
    keyword T39v12 mutable

} {PASS}

namespace is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-13 { namespace is not a keyword } {
    
    keyword T39v13 namespace

} {PASS}

operator is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-14 { operator is not a keyword } {
    
    keyword T39v14 operator

} {PASS}

register is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-15 { register is not a keyword } {
    
    keyword T39v15 register

} {PASS}

reinterpret_cast is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-16 { reinterpret_cast is not a keyword } {
    
    keyword T39v16 reinterpret_cast

} {PASS}

signed is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-17 { signed is not a keyword } {
    
    keyword T39v17 signed

} {PASS}

sizeof is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-18 { sizeof is not a keyword } {
    
    keyword T39v18 sizeof

} {PASS}

static_cast is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-19 { static_cast is not a keyword } {
    
    keyword T39v19 static_cast

} {PASS}

struct is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-20 { struct is not a keyword } {
    
    keyword T39v20 struct

} {PASS}

template is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-21 { template is not a keyword } {
    
    keyword T39v21 template

} {PASS}

typedef is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-22 { typedef is not a keyword } {
    
    keyword T39v22 typedef

} {PASS}

typeid is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-23 { typeid is not a keyword } {
    
    keyword T39v23 typeid

} {PASS}

typename is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-24 { typename is not a keyword } {
    
    keyword T39v24 typename

} {PASS}

union is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-25 { union is not a keyword } {
    
    keyword T39v25 union

} {PASS}

unsigned is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-26 { unsigned is not a keyword } {
    
    keyword T39v26 unsigned

} {PASS}

using is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-27 { using is not a keyword } {
    
    keyword T39v27 using

} {PASS}

virtual is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-28 { virtual is not a keyword } {
    
    keyword T39v28 virtual

} {PASS}

wchar_t is not a keyword

Expected Result: PASS

Regression Test:

tcltest::test 3.9-valid-29 { wchar_t is not a keyword } {
    
    keyword T39v29 wchar_t

} {PASS}

• 3.10.1-invalid-1
• 3.10.1-invalid-2
• 3.10.1-invalid-3
• 3.10.1-invalid-4
• 3.10.1-invalid-5
• 3.10.1-invalid-6
• 3.10.1-invalid-7
• 3.10.1-invalid-8
• 3.10.1-invalid-9
• 3.10.1-invalid-10
• 3.10.1-invalid-11
• 3.10.1-invalid-12
• 3.10.1-invalid-13
• 3.10.1-valid-1
• 3.10.1-valid-2
• 3.10.1-valid-3
• 3.10.1-valid-4
• 3.10.1-valid-5
• 3.10.1-valid-6
• 3.10.1-valid-7
• 3.10.1-valid-8
• 3.10.1-valid-9
• 3.10.1-valid-10
• 3.10.1-valid-11
• 3.10.1-valid-12
• 3.10.1-valid-13
• 3.10.1-valid-14

2147483648 may appear only as the operand of unary -

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-1 { 2147483648 may appear only as the operand of unary - } {
    
    literal T3101i1 2147483648

} {FAIL}

decimal larger than 2147483648 is not an int

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-2 { decimal larger than 2147483648 is not an int } {
    
    literal T3101i2 12345678901

} {FAIL}

octal larger than 037777777777 is not an int

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-3 { octal larger than 037777777777 is not an int } {
    
    literal T3101i3 040000000000

} {FAIL}

hex larger than 0xffffffff is not an int

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-4 { hex larger than 0xffffffff is not an int } {
    
    literal T3101i4 0x123456789

} {FAIL}

9223372036854775808L may appear only as the operand of unary -

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-5 { 9223372036854775808L may appear only as the
        operand of unary - } {
    
    literal T3101i5 9223372036854775808L

} {FAIL}

decimal larger than 9223372036854775808L is not an int

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-6 { decimal larger than 9223372036854775808L is not an int } {
    
    literal T3101i6 12345678901234567890L

} {FAIL}

octal larger than 01777777777777777777777L is not an int

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-7 { octal larger than 01777777777777777777777L is not an int } {
    
    literal T3101i7 02000000000000000000000L

} {FAIL}

hex larger than 0xffffffffffffffffL is not an int

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-8 { hex larger than 0xffffffffffffffffL is not an int } {
    
    literal T3101i8 0x123456789abcdef01L

} {FAIL}

octal cannot contain '9'

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-9 { octal cannot contain '9' } {
    
    literal T3101i9 09

} {FAIL}

2147483648 may appear only as the operand of unary -

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-10 { 2147483648 may appear only as the operand of unary - } {
    
    literal T3101i10 0-2147483648

} {FAIL}

9223372036854775808L may appear only as the operand of unary -

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-11 { 9223372036854775808L may appear only as the
        operand of unary - } {
    
    literal T3101i11 0-9223372036854775808L

} {FAIL}

0x must be followed by digits

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-12 { 0x must be followed by digits } {
    
    literal T3101i12 0x

} {FAIL}

0x must be followed by digits

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.1-invalid-13 { 0x must be followed by digits } {
    
    literal T3101i13 0xL

} {FAIL}

example decimal int literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-1 { example decimal int literal } {
    
    literal T3101v1 0

} {PASS}

example octal int literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-2 { example octal int literal } {
    
    literal T3101v2 0372

} {PASS}

example hex int literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-3 { example hex int literal } {
    
    literal T3101v3 0xDadaCafe

} {PASS}

example hex int literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-4 { example hex int literal } {
    
    literal T3101v4 0X00FF00FF

} {PASS}

decimal 0, octal 00, and hex 0x0 are equal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-5 { decimal 0, octal 00, and hex 0x0 are equal } {
    
    compile [saveas T3101v5.java {
class T3101v5 {
    void foo(int i) {
	switch (i) {
	    case 0:
	    case ((0 == 00) ? 1 : 0):
	    case ((0 == 0x0) ? 2 : 0):
	    case ((00 == 0x0) ? 3 : 0):
	}
    }
}
    }]

} {PASS}

2147483648 is valid when negative

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-6 { 2147483648 is valid when negative } {
    
    literal T3101v6 -2147483648

} {PASS}

example long literal, suffix l (ell) == L

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-7 { example long literal, suffix l (ell) == L } {
    
    literal T3101v7 0l

} {PASS}

example long literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-8 { example long literal } {
    
    literal T3101v8 0777L

} {PASS}

example long literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-9 { example long literal } {
    
    literal T3101v9 0X100000000L

} {PASS}

example long literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-10 { example long literal } {
    
    literal T3101v10 2147483648L

} {PASS}

example long literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-11 { example long literal } {
    
    literal T3101v11 0xC0B0L

} {PASS}

9223372036854775807L is valid when negative

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-12 { 9223372036854775807L is valid when negative } {
    
    literal T3101v12 -9223372036854775807L

} {PASS}

An octal that fits in 32 bits is legal int

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-13 { An octal that fits in 32 bits is legal int } {
    
    literal T3101v13 0000000000000000000000000001

} {PASS}

A hex literal that fits in 64 bits is a legal long

Expected Result: PASS

Regression Test:

tcltest::test 3.10.1-valid-14 { A hex literal that fits in 64 bits is a legal long } {
    
    literal T3101v14 0x000012345678CAFEBABEL

} {PASS}

• 3.10.2-invalid-1
• 3.10.2-invalid-2
• 3.10.2-invalid-3
• 3.10.2-invalid-4
• 3.10.2-invalid-5
• 3.10.2-invalid-6
• 3.10.2-invalid-7
• 3.10.2-invalid-8
• 3.10.2-invalid-9
• 3.10.2-invalid-10
• 3.10.2-invalid-11
• 3.10.2-round-1
• 3.10.2-round-2
• 3.10.2-round-3
• 3.10.2-round-4
• 3.10.2-round-5
• 3.10.2-round-6
• 3.10.2-round-7
• 3.10.2-round-8
• 3.10.2-round-9
• 3.10.2-round-10
• 3.10.2-round-11
• 3.10.2-round-12
• 3.10.2-float-1
• 3.10.2-float-2
• 3.10.2-float-3
• 3.10.2-float-4
• 3.10.2-float-5
• 3.10.2-float-6
• 3.10.2-float-7
• 3.10.2-float-8
• 3.10.2-float-9
• 3.10.2-float-10
• 3.10.2-float-11
• 3.10.2-float-12
• 3.10.2-float-13
• 3.10.2-float-14
• 3.10.2-float-15
• 3.10.2-float-16
• 3.10.2-double-1
• 3.10.2-double-2
• 3.10.2-double-3
• 3.10.2-double-4
• 3.10.2-double-5
• 3.10.2-double-6
• 3.10.2-double-7
• 3.10.2-double-8
• 3.10.2-double-9
• 3.10.2-double-10
• 3.10.2-double-11
• 3.10.2-double-12
• 3.10.2-double-13
• 3.10.2-double-14
• 3.10.2-double-15
• 3.10.2-double-16
• 3.10.2-double-17

Whole or fractional part must have a digit

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-1 { Whole or fractional part must have a digit } {
    
    literal T3102i1 .e2

} {FAIL}

Whole or fractional part must have a digit

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-2 { Whole or fractional part must have a digit } {
    
    literal T3102i2 .F

} {FAIL}

Invalid Digits

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-3 { Invalid Digits } {
    
    literal T3102i3 E.1e20

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-4 { ExponentPart must include a SignedInteger } {
    
    literal T3102i4 1.E

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-5 { ExponentPart must include a SignedInteger } {
    
    literal T3102i5 1.e

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-6 { ExponentPart must include a SignedInteger } {
    
    literal T3102i6 1.E+

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-7 { ExponentPart must include a SignedInteger } {
    
    literal T3102i7 1.E-

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-8 { ExponentPart must include a SignedInteger } {
    
    literal T3102i8 .1eF

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-9 { ExponentPart must include a SignedInteger } {
    
    literal T3102i9 .1e-D

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-10 { ExponentPart must include a SignedInteger } {
    
    literal T3102i10 1e-d

} {FAIL}

ExponentPart must include a SignedInteger

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-invalid-11 { ExponentPart must include a SignedInteger } {
    
    literal T3102i11 .1e+F

} {FAIL}

It is an error for a floating-point literal to round to an infinity

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-1 { It is an error for a floating-point
        literal to round to an infinity } {
    
    literal T3102r1 1e39f

} {FAIL}

It is an error for a floating-point literal to round to an infinity

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-2 { It is an error for a floating-point
        literal to round to an infinity } {
    
    literal T3102r2 -1e310

} {FAIL}

It is an error for a nonzero floating-point to round to zero

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-3 { It is an error for a nonzero
        floating-point to round to zero } {
    
    literal T3102r3 1e-47f

} {FAIL}

It is an error for a nonzero floating-point to round to zero

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-4 { It is an error for a nonzero
        floating-point to round to zero } {
    
    literal T3102r4 -1e-326

} {FAIL}

It is an error for a floating-point literal to round to an infinity

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-5 { It is an error for a floating-point
        literal to round to an infinity } {
    
    literal T3102r5 340282356779733661637539395458142568448f

} {FAIL}

It is an error for a floating-point literal to round to an infinity

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-6 { It is an error for a floating-point
        literal to round to an infinity } {
    
    literal T3102r6 179769313486231580793728971405303415079934132710037826936173778980444968292764750946649017977587207096330286416692887910946555547851940402630657488671505820681908902000708383676273854845817711531764475730270069855571366959622842914819860834936475292719074168444365510704342711559699508093042880177904174497792.0

} {FAIL}

It is an error for a nonzero floating-point to round to zero

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-7 { It is an error for a nonzero
        floating-point to round to zero } {
    
    literal T3102r7 0.000000000000000000000000000000000000000000000700649232162408535461864791644958065640130970938257885878534141944895541342930300743319094181060791015625f

} {FAIL}

It is an error for a nonzero floating-point to round to zero

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.2-round-8 { It is an error for a nonzero
        floating-point to round to zero } {
    
    literal T3102r8 0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024703282292062327208828439643411068618252990130716238221279284125033775363510437593264991818081799618989828234772285886546332835517796989819938739800539093906315035659515570226392290858392449105184435931802849936536152500319370457678249219365623669863658480757001585769269903706311928279558551332927834338409351978015531246597263579574622766465272827220056374006485499977096599470454020828166226237857393450736339007967761930577506740176324673600968951340535537458516661134223766678604162159680461914467291840300530057530849048765391711386591646239524912623653881879636239373280423891018672348497668235089863388587925628302755995657524455507255189313690836254779186948667994968324049705821028513185451396213837722826145437693412532098591327667236328125

} {FAIL}

test rounding at border of float denorms

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-round-9 { test rounding at border of float denorms } {
    
    constant_expression T3102r9  {0.00000000000000000000000000000000000001175494280757364291727882991035766513322858992758990427682963118425003064965173038558532425668090581893920898437499999f == 1.1754942e-38f}  {0.000000000000000000000000000000000000011754942807573642917278829910357665133228589927589904276829631184250030649651730385585324256680905818939208984375f == 1.1754944e-38f}  {0.00000000000000000000000000000000000001175494280757364291727882991035766513322858992758990427682963118425003064965173038558532425668090581893920898437500001f == 1.1754944e-38f}

} {PASS}

test rounding at border of double denorms. Note that Javac 1.3 enters an infinite loop on this test.

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-round-10 { test rounding at border of double denorms.
        Note that Javac 1.3 enters an infinite loop on this test. } {
    
    constant_expression T3102r10  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000022250738585072011360574097967091319759348195463516456480234261097248222220210769455165295239081350879141491589130396211068700864386945946455276572074078206217433799881410632673292535522868813721490129811224514518898490572223072852551331557550159143974763979834118019993239625482890171070818506906306666559949382757725720157630626906633326475653000092458883164330377797918696120494973903778297049050510806099407302629371289589500035837999672072543043602840788957717961509455167482434710307026091446215722898802581825451803257070188608721131280795122334262883686223215037756666225039825343359745688844239002654981983854879482922068947216898310996983658468140228542433306603398508864458040010349339704275671864433837704860378616227717385456230658746790140867233276367187499999 == 2.225073858507201e-308}  {0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000222507385850720113605740979670913197593481954635164564802342610972482222202107694551652952390813508791414915891303962110687008643869459464552765720740782062174337998814106326732925355228688137214901298112245145188984905722230728525513315575501591439747639798341180199932396254828901710708185069063066665599493827577257201576306269066333264756530000924588831643303777979186961204949739037782970490505108060994073026293712895895000358379996720725430436028407889577179615094551674824347103070260914462157228988025818254518032570701886087211312807951223342628836862232150377566662250398253433597456888442390026549819838548794829220689472168983109969836584681402285424333066033985088644580400103493397042756718644338377048603786162277173854562306587467901408672332763671875 == 2.2250738585072014e-308}  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000022250738585072011360574097967091319759348195463516456480234261097248222220210769455165295239081350879141491589130396211068700864386945946455276572074078206217433799881410632673292535522868813721490129811224514518898490572223072852551331557550159143974763979834118019993239625482890171070818506906306666559949382757725720157630626906633326475653000092458883164330377797918696120494973903778297049050510806099407302629371289589500035837999672072543043602840788957717961509455167482434710307026091446215722898802581825451803257070188608721131280795122334262883686223215037756666225039825343359745688844239002654981983854879482922068947216898310996983658468140228542433306603398508864458040010349339704275671864433837704860378616227717385456230658746790140867233276367187500001 == 2.2250738585072014e-308}

} {PASS}

test rounding at largest float where Float.MIN_VALUE is 1 ulp

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-round-11 { test rounding at largest float where
        Float.MIN_VALUE is 1 ulp } {
    
    constant_expression T3102r11  {0.00000000000000000000000000000000000002350988491449805367214912435885053862149911421504883761540137648996591935440791942824034777004271745681762695312499999999f == 2.3509884e-38f}  {0.00000000000000000000000000000000000002350988491449805367214912435885053862149911421504883761540137648996591935440791942824034777004271745681762695312500000000f == 2.3509884e-38f}  {0.00000000000000000000000000000000000002350988491449805367214912435885053862149911421504883761540137648996591935440791942824034777004271745681762695312500000001f == 2.3509886e-38f}  {0.00000000000000000000000000000000000002350988631579651799696619528258012191141524549531077949191714824703420324419900211410094925668090581893920898437499999999f == 2.3509886e-38f}  {0.00000000000000000000000000000000000002350988631579651799696619528258012191141524549531077949191714824703420324419900211410094925668090581893920898437500000000f == 2.3509887e-38f}  {0.00000000000000000000000000000000000002350988631579651799696619528258012191141524549531077949191714824703420324419900211410094925668090581893920898437500000001f == 2.3509887e-38f}

} {PASS}

test rounding at largest double where Double.MIN_VALUE is 1 ulp

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-round-12 { test rounding at largest double where
        Double.MIN_VALUE is 1 ulp } {
    
    constant_expression T3102r12  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044501477170144020250819966727949918635852426585926051135169509122872622312493126406953054127118942431783801370080830523154578251545303238277269592368457430440993619708911874715081505094180604803751173783204118519353387964161152051487413083163272520124606023105869053620631175265621765214646643181420505164043632222668006474326056011713528291579642227455489682133472873831754840341397809846934151055619529382191981473003234105366170879223151087335413188049110555339027884856781219017754500629806224571029581637117459456877330110324211689177656713705497387108207822477584250967061891687062782163335299376138075114200886249979505279101870966346394401564490729731565935244123171539810221213221201847003580761626016356864581135848683152156368691976240370422601699829101562499999 == 4.450147717014402e-308}  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044501477170144020250819966727949918635852426585926051135169509122872622312493126406953054127118942431783801370080830523154578251545303238277269592368457430440993619708911874715081505094180604803751173783204118519353387964161152051487413083163272520124606023105869053620631175265621765214646643181420505164043632222668006474326056011713528291579642227455489682133472873831754840341397809846934151055619529382191981473003234105366170879223151087335413188049110555339027884856781219017754500629806224571029581637117459456877330110324211689177656713705497387108207822477584250967061891687062782163335299376138075114200886249979505279101870966346394401564490729731565935244123171539810221213221201847003580761626016356864581135848683152156368691976240370422601699829101562500000 == 4.450147717014402e-308}  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044501477170144020250819966727949918635852426585926051135169509122872622312493126406953054127118942431783801370080830523154578251545303238277269592368457430440993619708911874715081505094180604803751173783204118519353387964161152051487413083163272520124606023105869053620631175265621765214646643181420505164043632222668006474326056011713528291579642227455489682133472873831754840341397809846934151055619529382191981473003234105366170879223151087335413188049110555339027884856781219017754500629806224571029581637117459456877330110324211689177656713705497387108207822477584250967061891687062782163335299376138075114200886249979505279101870966346394401564490729731565935244123171539810221213221201847003580761626016356864581135848683152156368691976240370422601699829101562500001 == 4.4501477170144023e-308}  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044501477170144025191476425140415360401540355268139774785767535266120266568349951413708126829206461084782164986440754321120225206002480547543836695927855394428741579816730655978088636997294650082209345461693939556240574324731139358717913147037364055774449896230603026352327326665938919068627384443806161075753898808234874156196451614819777611032358142380042975188038317843029641638497805266254045146423695015437229044481924252633972472775537202836761223314045275532818152963888710721086727474559560291862013573209842350335698170430223195347466466783839664426537070382566775697838267614310656819420077579872544813734533267952182996686996626897593533069381831182603797982290422495647610946820195511813521925831718993954860378616227717385456230658746790140867233276367187499999 == 4.4501477170144023e-308}  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044501477170144025191476425140415360401540355268139774785767535266120266568349951413708126829206461084782164986440754321120225206002480547543836695927855394428741579816730655978088636997294650082209345461693939556240574324731139358717913147037364055774449896230603026352327326665938919068627384443806161075753898808234874156196451614819777611032358142380042975188038317843029641638497805266254045146423695015437229044481924252633972472775537202836761223314045275532818152963888710721086727474559560291862013573209842350335698170430223195347466466783839664426537070382566775697838267614310656819420077579872544813734533267952182996686996626897593533069381831182603797982290422495647610946820195511813521925831718993954860378616227717385456230658746790140867233276367187500000 == 4.450147717014403e-308}  {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000044501477170144025191476425140415360401540355268139774785767535266120266568349951413708126829206461084782164986440754321120225206002480547543836695927855394428741579816730655978088636997294650082209345461693939556240574324731139358717913147037364055774449896230603026352327326665938919068627384443806161075753898808234874156196451614819777611032358142380042975188038317843029641638497805266254045146423695015437229044481924252633972472775537202836761223314045275532818152963888710721086727474559560291862013573209842350335698170430223195347466466783839664426537070382566775697838267614310656819420077579872544813734533267952182996686996626897593533069381831182603797982290422495647610946820195511813521925831718993954860378616227717385456230658746790140867233276367187500001 == 4.450147717014403e-308}

} {PASS}

example float literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-1 { example float literal } {
    
    literal T3102f1 1e1f

} {PASS}

example float literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-2 { example float literal } {
    
    literal T3102f2 2.f

} {PASS}

example float literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-3 { example float literal } {
    
    literal T3102f3 1.e-1

} {PASS}

example float literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-4 { example float literal } {
    
    literal T3102f4 .3F

} {PASS}

example float literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-5 { example float literal } {
    
    literal T3102f5 0f

} {PASS}

example float literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-6 { example float literal } {
    
    literal T3102f6 3.14f

} {PASS}

example float literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-7 { example float literal } {
    
    literal T3102f7 6.022137e+23f

} {PASS}

largest finite float, by JLS

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-8 { largest finite float, by JLS } {
    
    literal T3102f8 3.40282347e+38f

} {PASS}

smallest finite float

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-9 { smallest finite float } {
    
    literal T3102f9 1.40239846e-45f

} {PASS}

extra 0s don't affect floating point parsing

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-10 { extra 0s don't affect floating point parsing } {
    
    literal T3102f10 000000000000000000000000000000000000000000000000000000000000000000000000.000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000e00000000000000000000000000000000050f

} {PASS}

unicode 1e0F

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-11 { unicode 1e0F } {
    
    literal T3102f11 {\u0031\u0065\u0030\u0046}

} {PASS}

largest finite float, by rounding

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-12 { largest finite float, by rounding } {
    
    constant_expression T3102f12 {340282356779733661637539395458142568447.99999f == Float.MAX_VALUE}

} {PASS}

smallest finite float, by rounding. errors: fail to parse number, round number to zero note: We can't compare to Float.MIN_VALUE because some stupid JDK versions don't use a constant value

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-13 { smallest finite float, by rounding.
        errors: fail to parse number, round number to zero
        note: We can't compare to Float.MIN_VALUE because
        some stupid JDK versions don't use a constant value } {
    
    constant_expression T3102f13 {0.00000000000000000000000000000000000000000000070064923216240853546186479164495806564013097093825788587853414194489554134293030074331909418106079101562500001f != 0}

} {PASS}

valid float overrides invalid octal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-14 { valid float overrides invalid octal } {
    
    constant_expression T3102f14 {08.f == 8} {09.f == 9}  {08e0f == 8} {09e0f == 9}  {08f == 8} {09f == 9}  {08.F == 8} {09.F == 9}  {08e0F == 8} {09e0F == 9}  {08F == 8} {09F == 9}

} {PASS}

valid float overrides invalid octal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-15 { valid float overrides invalid octal } {
    
    constant_expression T3102f15 {0180.f == 180} {0190.f == 190}  {0180e0f == 180} {0190e0f == 190}  {0180f == 180} {0190f == 190}  {0180.F == 180} {0190.F == 190}  {0180e0F == 180} {0190e0F == 190}  {0180F == 180} {0190F == 190}

} {PASS}

check for 0 followed by letter

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-float-16 { check for 0 followed by letter } {
    
    constant_expression T3102f16 {0e+0f == 0e-0f} {0E1f == 0} {0f == 0F}

} {PASS}

example double literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-1 { example double literal } {
    
    literal T3102d1 1E1D

} {PASS}

example double literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-2 { example double literal } {
    
    literal T3102d2 2.

} {PASS}

example double literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-3 { example double literal } {
    
    literal T3102d3 .3

} {PASS}

example double literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-4 { example double literal } {
    
    literal T3102d4 0.0

} {PASS}

example double literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-5 { example double literal } {
    
    literal T3102d5 3.14

} {PASS}

example double literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-6 { example double literal } {
    
    literal T3102d6 1e-9d

} {PASS}

example double literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-7 { example double literal } {
    
    literal T3102d7 1e137

} {PASS}

largest finite double, by JLS

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-8 { largest finite double, by JLS } {
    
    literal T3102d8 1.79769313486231570e+308

} {PASS}

smallest finite double

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-9 { smallest finite double } {
    
    literal T3102d9 4.94065645841246544e-324

} {PASS}

the compiler should correctly round denormalized literals

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-10 { the compiler should correctly
        round denormalized literals } {
    
    constant_expression T3102d10 {.0000000000012345678901234567890e+10 ==
	    1.2345678901234568e-2}

} {PASS}

extra 0s don't affect floating point parsing

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-11 { extra 0s don't affect floating point parsing } {
    
    literal T3102d11 000000000000000000000000000000000000000000000000000000000000000000000000.000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000e00000000000000000000000000000000050

} {PASS}

unicode escape the . in float 1.0

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-12 { unicode escape the . in float 1.0 } {
    
    literal T3102d12 1\u002e0

} {PASS}

largest finite double, by rounding

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-13 { largest finite double, by rounding } {
    
    constant_expression T3102d13 {179769313486231580793728971405303415079934132710037826936173778980444968292764750946649017977587207096330286416692887910946555547851940402630657488671505820681908902000708383676273854845817711531764475730270069855571366959622842914819860834936475292719074168444365510704342711559699508093042880177904174497791.999999 == Double.MAX_VALUE}

} {PASS}

smallest finite double, by rounding errors: fail to parse number, round number to zero note: We can't compare to Double.MIN_VALUE because some stupid JDK versions don't use a constant value

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-14 { smallest finite double, by rounding
        errors: fail to parse number, round number to zero
        note: We can't compare to Double.MIN_VALUE because
        some stupid JDK versions don't use a constant value } {
    
    constant_expression T3102d14 {0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002470328229206232720882843964341106861825299013071623822127928412503377536351043759326499181808179961898982823477228588654633283551779698981993873980053909390631503565951557022639229085839244910518443593180284993653615250031937045767824921936562366986365848075700158576926990370631192827955855133292783433840935197801553124659726357957462276646527282722005637400648549997709659947045402082816622623785739345073633900796776193057750674017632467360096895134053553745851666113422376667860416215968046191446729184030053005753084904876539171138659164623952491262365388187963623937328042389101867234849766823508986338858792562830275599565752445550725518931369083625477918694866799496832404970582102851318545139621383772282614543769341253209859132766723632812500001 != 0}

} {PASS}

valid double overrides invalid octal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-15 { valid double overrides invalid octal } {
    
    constant_expression T3102d15 {08. == 8} {09. == 9}  {08e0 == 8} {09e0 == 9}  {08.d == 8} {09.d == 9}  {08e0d == 8} {09e0d == 9}  {08d == 8} {09d == 9}  {08.D == 8} {09.D == 9}  {08e0D == 8} {09e0D == 9}  {08D == 8} {09D == 9}

} {PASS}

valid double overrides invalid octal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-16 { valid double overrides invalid octal } {
    
    constant_expression T3102d16 {0180. == 180} {0190. == 190}  {0180e0 == 180} {0190e0 == 190}  {0180.d == 180} {0190.d == 190}  {0180e0d == 180} {0190e0d == 190}  {0180d == 180} {0190d == 190}  {0180.D == 180} {0190.D == 190}  {0180e0D == 180} {0190e0D == 190}  {0180D == 180} {0190D == 190}

} {PASS}

check for 0 followed by letter

Expected Result: PASS

Regression Test:

tcltest::test 3.10.2-double-17 { check for 0 followed by letter } {
    
    constant_expression T3102d17 {0e+0d == 0e-0d} {0E1 == 0} {0d == 0D}

} {PASS}

• 3.10.4-invalid-1
• 3.10.4-invalid-2
• 3.10.4-invalid-3
• 3.10.4-invalid-4
• 3.10.4-invalid-5
• 3.10.4-invalid-6
• 3.10.4-invalid-7
• 3.10.4-invalid-8
• 3.10.4-invalid-9
• 3.10.4-invalid-10
• 3.10.4-invalid-11
• 3.10.4-invalid-12
• 3.10.4-invalid-13
• 3.10.4-invalid-14
• 3.10.4-invalid-15
• 3.10.4-invalid-16
• 3.10.4-invalid-17
• 3.10.4-valid-1
• 3.10.4-valid-2
• 3.10.4-valid-3
• 3.10.4-valid-4
• 3.10.4-valid-5
• 3.10.4-valid-6
• 3.10.4-valid-7
• 3.10.4-valid-8
• 3.10.4-valid-9
• 3.10.4-valid-10
• 3.10.4-valid-11
• 3.10.4-valid-12
• 3.10.4-valid-13
• 3.10.4-valid-14

A SingleCharacter cannot be '

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-1 { A SingleCharacter cannot be ' } {
    
    literal T3104i1 '

} {FAIL}

A SingleCharacter cannot be '

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-2 { A SingleCharacter cannot be ' } {
    
    literal T3104i2 {\u0027}

} {FAIL}

A SingleCharacter cannot be \

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-3 { A SingleCharacter cannot be \ } {
    
    literal T3104i3 \\

} {FAIL}

A SingleCharacter cannot be \

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-4 { A SingleCharacter cannot be \ } {
    
    literal T3104i4 {\u005c}

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-5 { A LineTerminator is not an InputCharacter } {
    
    literal T3104i5 \r

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-6 { A LineTerminator is not an InputCharacter } {
    
    literal T3104i6 \n

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-7 { A LineTerminator is not an InputCharacter } {
    
    literal T3104i7 \r\n

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-8 { A LineTerminator is not an InputCharacter } {
    
    literal T3104i8 {\u000d}

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-9 { A LineTerminator is not an InputCharacter } {
    
    literal T3104i9 {\u000a}

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-10 { A LineTerminator is not an InputCharacter } {
    
    literal T3104i10 {\u000d\u000a}

} {FAIL}

' must be terminated with '

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-11 { ' must be terminated with ' } {
    
    literal T3104i11 AB

} {FAIL}

empty character literal is not allowed

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-12 { empty character literal is not allowed } {
    
    literal T3104i12 ""

} {FAIL}

\r\n is two character literals

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-13 { \r\n is two character literals } {
    
    literal T3104i13 {\r\n}

} {FAIL}

' must be terminated with '

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-14 { ' must be terminated with ' } {
    
    compile [saveas T3104i14.java "class T3104i14 {char c = 'a;}"]

} {FAIL}

EOF inside ''

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-15 { EOF inside '' } {
    
    compile [saveas T3104i15.java "class T3104i15 \{char c = '"]

} {FAIL}

EOF inside ''

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-16 { EOF inside '' } {
    
    compile [saveas T3104i16.java "class T3104i16 \{char c = 'a"]

} {FAIL}

EOF inside ''

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.4-invalid-17 { EOF inside '' } {
    
    compile [saveas T3104i17.java "class T3104i17 \{char c = '\\"]

} {FAIL}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-1 { example character literal } {
    
    literal T3104v1 a

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-2 { example character literal } {
    
    literal T3104v2 %

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-3 { example character literal } {
    
    literal T3104v3 {\t}

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-4 { example character literal } {
    
    literal T3104v4 {\\}

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-5 { example character literal } {
    
    literal T3104v5 {\'}

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-6 { example character literal } {
    
    literal T3104v6 {\u03a9}

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-7 { example character literal } {
    
    literal T3104v7 {\uFFFF}

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-8 { example character literal } {
    
    literal T3104v8 {\177}

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-9 { example character literal } {
    
    literal T3104v9 {\r}

} {PASS}

example character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-10 { example character literal } {
    
    literal T3104v10 {\n}

} {PASS}

valid character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-11 { valid character literal } {
    
    literal T3104v11 {\"}

} {PASS}

valid character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-12 { valid character literal } {
    
    literal T3104v12 {"}

} {PASS}

valid character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-13 { valid character literal } {
    
    literal T3104v13 {\u001a}

} {PASS}

valid character literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.4-valid-14 { valid character literal } {
    
    literal T3104v14 \x1a

} {PASS}

• 3.10.5-invalid-1
• 3.10.5-invalid-2
• 3.10.5-invalid-3
• 3.10.5-invalid-4
• 3.10.5-invalid-5
• 3.10.5-invalid-6
• 3.10.5-invalid-7
• 3.10.5-invalid-8
• 3.10.5-invalid-9
• 3.10.5-invalid-10
• 3.10.5-invalid-11
• 3.10.5-invalid-12
• 3.10.5-invalid-13
• 3.10.5-valid-1
• 3.10.5-valid-2
• 3.10.5-valid-3
• 3.10.5-valid-4
• 3.10.5-valid-5
• 3.10.5-valid-6
• 3.10.5-valid-7
• 3.10.5-valid-8
• 3.10.5-valid-9
• 3.10.5-valid-10
• 3.10.5-valid-11
• 3.10.5-valid-12
• 3.10.5-valid-13
• 3.10.5-valid-14

A StringCharacter cannot be "

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-1 { A StringCharacter cannot be " } {
    
    literal T3105i1 {"}

} {FAIL}

A StringCharacter cannot be "

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-2 { A StringCharacter cannot be " } {
    
    literal T3105i2 {\u0022}

} {FAIL}

A StringCharacter cannot be \

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-3 { A StringCharacter cannot be \ } {
    
    literal T3105i3 \\

} {FAIL}

A StringCharacter cannot be \

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-4 { A StringCharacter cannot be \ } {
    
    literal T3105i4 {\u005c}

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-5 { A LineTerminator is not an InputCharacter } {
    
    literal T3105i5 \r

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-6 { A LineTerminator is not an InputCharacter } {
    
    literal T3105i6 \n

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-7 { A LineTerminator is not an InputCharacter } {
    
    literal T3105i7 \r\n

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-8 { A LineTerminator is not an InputCharacter } {
    
    literal T3105i8 {\u000d}

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-9 { A LineTerminator is not an InputCharacter } {
    
    literal T3105i9 {\u000a}

} {FAIL}

A LineTerminator is not an InputCharacter

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-10 { A LineTerminator is not an InputCharacter } {
    
    literal T3105i10 {\u000d\u000a}

} {FAIL}

" must be terminated with "

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-11 { " must be terminated with " } {
    
    compile [saveas T3105i11.java {class T3105i11 {String s = ";}}]

} {FAIL}

EOF inside ""

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-12 { EOF inside "" } {
    
    compile [saveas T3105i12.java "class T3105i12 \{String s = \""]

} {FAIL}

EOF inside ""

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.5-invalid-13 { EOF inside "" } {
    
    compile [saveas T3105i13.java "class T3105i13 \{String s = \"\\"]

} {FAIL}

example string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-1 { example string literal } {
    
    literal T3105v1 ""

} {PASS}

example string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-2 { example string literal } {
    
    literal T3105v2 {This is a string}

} {PASS}

example string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-3 { example string literal } {
    
    literal T3105v3 {This is a " +
                     "two-line string}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-4 { valid string literal } {
    
    literal T3105v4 {\\}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-5 { valid string literal } {
    
    literal T3105v5 {\'}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-6 { valid string literal } {
    
    literal T3105v6 {\u03a9}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-7 { valid string literal } {
    
    literal T3105v7 {\uFFFF}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-8 { valid string literal } {
    
    literal T3105v8 {\177}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-9 { valid string literal } {
    
    literal T3105v9 {\r}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-10 { valid string literal } {
    
    literal T3105v10 {\n}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-11 { valid string literal } {
    
    literal T3105v11 {\"}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-12 { valid string literal } {
    
    literal T3105v12 '

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-13 { valid string literal } {
    
    literal T3105v13 {\u001a}

} {PASS}

valid string literal

Expected Result: PASS

Regression Test:

tcltest::test 3.10.5-valid-14 { valid string literal } {
    
    literal T3105v14 \x1a

} {PASS}

• 3.10.7-invalid-1
• 3.10.7-invalid-2
• 3.10.7-invalid-3
• 3.10.7-invalid-4
• 3.10.7-invalid-5
• 3.10.7-invalid-6
• 3.10.7-invalid-7
• 3.10.7-invalid-8
• 3.10.7-invalid-9
• 3.10.7-invalid-10
• 3.10.7-invalid-11
• 3.10.7-invalid-12
• 3.10.7-invalid-13
• 3.10.7-invalid-14
• 3.10.7-invalid-15
• 3.10.7-invalid-16
• 3.10.7-valid-1
• 3.10.7-valid-2
• 3.10.7-valid-3
• 3.10.7-valid-4
• 3.10.7-valid-5
• 3.10.7-valid-6
• 3.10.7-valid-7
• 3.10.7-valid-8
• 3.10.7-valid-9
• 3.10.7-valid-10
• 3.10.7-valid-11
• 3.10.7-valid-12
• 3.10.7-valid-13
• 3.10.7-valid-14
• 3.10.7-valid-15
• 3.10.7-valid-16
• 3.10.7-valid-17

\a (Alert, Ctrl-G) is not an escape sequence

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-1 { \a (Alert, Ctrl-G) is not an escape sequence } {
    
    sequence T3107i1 {\a}

} {FAIL}

\v (Vertical tab, Ctrl-K) is not an escape sequence

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-2 { \v (Vertical tab, Ctrl-K) is not an escape sequence } {
    
    sequence T3107i2 {\v}

} {FAIL}

\x (hex sequence) is not an escape sequence

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-3 { \x (hex sequence) is not an escape sequence } {
    
    sequence T3107i3 {\x0}

} {FAIL}

\LineTerminator is not a valid line continuation

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-4 { \LineTerminator is not a valid line continuation } {
    
    sequence T3107i4 a\\\n

} {FAIL}

\u is not an escape sequence, since unicode is already expanded

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-5 { \u is not an escape sequence, since unicode
        is already expanded } {
    
    sequence T3107i5 {\u005cu}

} {FAIL}

octal escape sequences are limited at 0377

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-6 { octal escape sequences are limited at 0377 } {
    
    sequence T3107i6 {\400}

} {FAIL}

escape sequences are case-sensitive

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-7 { escape sequences are case-sensitive } {
    
    sequence T3107i7 {\N}

} {FAIL}

escape sequences only occur within character and string literals

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-8 { escape sequences only occur within character
        and string literals } {
    
    compile [saveas T3107i8.java "class T3107i8 { \\t }"]

} {FAIL}

octal escape sequences are limited at 0377

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-9 { octal escape sequences are limited at 0377 } {
    
    sequence T3107i9 {\0000}

} {FAIL}

\LineTerminator is not a valid sequence

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-10 { \LineTerminator is not a valid sequence } {
    
    sequence T3107i10 \\\n

} {FAIL}

\LineTerminator is not a valid sequence

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-11 { \LineTerminator is not a valid sequence } {
    
    sequence T3107i11 \\\r

} {FAIL}

\u is not an escape sequence, since unicode is already expanded

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-12 { \u is not an escape sequence, since unicode
        is already expanded } {
    
    sequence T3107i12 {\u005cu0000}

} {FAIL}

escape sequences only occur within character and string literals

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-13 { escape sequences only occur within character
        and string literals } {
    
    compile [saveas T3107i13.java "class T3107i13 {} \\\\"]

} {FAIL}

escape sequences only occur within character and string literals

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-14 { escape sequences only occur within character
        and string literals } {
    
    compile [saveas T3107i14.java "class T3107i14 {} \\"]

} {FAIL}

\LineTerminator is not a valid sequence

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-15 { \LineTerminator is not a valid sequence } {
    
    empty_class T3107i15 "class T3107i15 { String s = \"\\\n\";}"

} {FAIL}

\LineTerminator is not a valid sequence

Expected Result: FAIL

Regression Test:

tcltest::test 3.10.7-invalid-16 { \LineTerminator is not a valid sequence } {
    
    empty_class T3107i16 "class T3107i16 { String s = \"\\\r\";}"

} {FAIL}

\b (Backspace, Ctrl-H, \u0008) is an escape sequence

Expected Result: PASS

Regression Test:

tcltest::test 3.10.7-valid-1 { \b (Backspace, Ctrl-H, \u0008) is an escape sequence } {
    
    sequence T3107v1 {\b}

} {PASS}

\t (Tab, Ctrl-I, \u0009) is an escape sequence

Expected Result: PASS

Regression Test:

tcltest::test 3.10.7-valid-2 { \t (Tab, Ctrl-I, \u0009) is an escape sequence } {
    
    sequence T3107v2 {\t}

} {PASS}