fail_modifiers.carbon 3.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // AUTOUPDATE
  6. // TIP: To test this file alone, run:
  7. // TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/parse/testdata/class/fail_modifiers.carbon
  8. // TIP: To dump output, run:
  9. // TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/parse/testdata/class/fail_modifiers.carbon
  10. // --- fail_virtual_class.carbon
  11. virtual class B
  12. // CHECK:STDERR: fail_virtual_class.carbon:[[@LINE+4]]:1: error: `virtual` declarations must either end with a `;` or have a `{ ... }` block for a definition [ExpectedDeclSemiOrDefinition]
  13. // CHECK:STDERR:
  14. // CHECK:STDERR: ^
  15. // CHECK:STDERR:
  16. // --- fail_impl_class.carbon
  17. // CHECK:STDERR: fail_impl_class.carbon:[[@LINE+4]]:1: error: `impl` introducer should be followed by a name [ExpectedDeclName]
  18. // CHECK:STDERR: impl class
  19. // CHECK:STDERR: ^~~~
  20. // CHECK:STDERR:
  21. impl class
  22. // --- fail_extend_adapt_base.carbon
  23. class C {
  24. // CHECK:STDERR: fail_extend_adapt_base.carbon:[[@LINE+4]]:16: error: expected expression [ExpectedExpr]
  25. // CHECK:STDERR: extend adapt base B;
  26. // CHECK:STDERR: ^~~~
  27. // CHECK:STDERR:
  28. extend adapt base B;
  29. }
  30. // CHECK:STDOUT: - filename: fail_virtual_class.carbon
  31. // CHECK:STDOUT: parse_tree: [
  32. // CHECK:STDOUT: {kind: 'FileStart', text: ''},
  33. // CHECK:STDOUT: {kind: 'ClassIntroducer', text: 'class'},
  34. // CHECK:STDOUT: {kind: 'VirtualModifier', text: 'virtual'},
  35. // CHECK:STDOUT: {kind: 'IdentifierNameNotBeforeSignature', text: 'B'},
  36. // CHECK:STDOUT: {kind: 'ClassDecl', text: 'B', has_error: yes, subtree_size: 4},
  37. // CHECK:STDOUT: {kind: 'FileEnd', text: ''},
  38. // CHECK:STDOUT: ]
  39. // CHECK:STDOUT: - filename: fail_impl_class.carbon
  40. // CHECK:STDOUT: parse_tree: [
  41. // CHECK:STDOUT: {kind: 'FileStart', text: ''},
  42. // CHECK:STDOUT: {kind: 'ClassIntroducer', text: 'class'},
  43. // CHECK:STDOUT: {kind: 'ImplModifier', text: 'impl'},
  44. // CHECK:STDOUT: {kind: 'InvalidParse', text: '', has_error: yes},
  45. // CHECK:STDOUT: {kind: 'ClassDecl', text: 'class', has_error: yes, subtree_size: 4},
  46. // CHECK:STDOUT: {kind: 'FileEnd', text: ''},
  47. // CHECK:STDOUT: ]
  48. // CHECK:STDOUT: - filename: fail_extend_adapt_base.carbon
  49. // CHECK:STDOUT: parse_tree: [
  50. // CHECK:STDOUT: {kind: 'FileStart', text: ''},
  51. // CHECK:STDOUT: {kind: 'ClassIntroducer', text: 'class'},
  52. // CHECK:STDOUT: {kind: 'IdentifierNameNotBeforeSignature', text: 'C'},
  53. // CHECK:STDOUT: {kind: 'ClassDefinitionStart', text: '{', subtree_size: 3},
  54. // CHECK:STDOUT: {kind: 'AdaptIntroducer', text: 'adapt'},
  55. // CHECK:STDOUT: {kind: 'ExtendModifier', text: 'extend'},
  56. // CHECK:STDOUT: {kind: 'InvalidParse', text: 'base', has_error: yes},
  57. // CHECK:STDOUT: {kind: 'AdaptDecl', text: ';', has_error: yes, subtree_size: 4},
  58. // CHECK:STDOUT: {kind: 'ClassDefinition', text: '}', subtree_size: 8},
  59. // CHECK:STDOUT: {kind: 'FileEnd', text: ''},
  60. // CHECK:STDOUT: ]