mixed_snippet.svg 4.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161
  1. <svg fill="white" viewBox="0 0 650 254" width="650" height="254" xmlns="http://www.w3.org/2000/svg">
  2. <foreignObject width="100%" height="100%">
  3. <style>
  4. .div-3 {
  5. background-color: #EEEEEE;
  6. padding: 5px;
  7. padding-left: 30px;
  8. margin: 0px;
  9. }
  10. pre {
  11. display: block;
  12. font-family: ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,Liberation Mono,monospace;
  13. white-space: pre;
  14. width: 100%;
  15. margin: 0px;
  16. }
  17. .pl-c /* comment, punctuation.definition.comment, string.comment */ {
  18. color: #6a737d;
  19. }
  20. .pl-c1 /* constant, entity.name.constant, variable.other.constant, variable.language, support, meta.property-name, support.constant, support.variable, meta.module-reference, markup.raw, meta.diff.header, meta.output */,
  21. .pl-s .pl-v /* string variable */ {
  22. color: #005cc5;
  23. }
  24. .pl-e /* entity */,
  25. .pl-en /* entity.name */ {
  26. color: #6f42c1;
  27. }
  28. .pl-smi /* variable.parameter.function, storage.modifier.package, storage.modifier.import, storage.type.java, variable.other */,
  29. .pl-s .pl-s1 /* string source */ {
  30. color: #24292e;
  31. }
  32. .pl-ent /* entity.name.tag, markup.quote */ {
  33. color: #22863a;
  34. }
  35. .pl-k /* keyword, storage, storage.type */ {
  36. color: #d73a49;
  37. }
  38. .pl-s /* string */,
  39. .pl-pds /* punctuation.definition.string, source.regexp, string.regexp.character-class */,
  40. .pl-s .pl-pse .pl-s1 /* string punctuation.section.embedded source */,
  41. .pl-sr /* string.regexp */,
  42. .pl-sr .pl-cce /* string.regexp constant.character.escape */,
  43. .pl-sr .pl-sre /* string.regexp source.ruby.embedded */,
  44. .pl-sr .pl-sra /* string.regexp string.regexp.arbitrary-repitition */ {
  45. color: #032f62;
  46. }
  47. .pl-v /* variable */,
  48. .pl-smw /* sublimelinter.mark.warning */ {
  49. color: #e36209;
  50. }
  51. .pl-bu /* invalid.broken, invalid.deprecated, invalid.unimplemented, message.error, brackethighlighter.unmatched, sublimelinter.mark.error */ {
  52. color: #b31d28;
  53. }
  54. .pl-ii /* invalid.illegal */ {
  55. color: #fafbfc;
  56. background-color: #b31d28;
  57. }
  58. .pl-c2 /* carriage-return */ {
  59. color: #fafbfc;
  60. background-color: #d73a49;
  61. }
  62. .pl-c2::before /* carriage-return */ {
  63. content: "^M";
  64. }
  65. .pl-sr .pl-cce /* string.regexp constant.character.escape */ {
  66. font-weight: bold;
  67. color: #22863a;
  68. }
  69. .pl-ml /* markup.list */ {
  70. color: #735c0f;
  71. }
  72. .pl-mh /* markup.heading */,
  73. .pl-mh .pl-en /* markup.heading entity.name */,
  74. .pl-ms /* meta.separator */ {
  75. font-weight: bold;
  76. color: #005cc5;
  77. }
  78. .pl-mi /* markup.italic */ {
  79. font-style: italic;
  80. color: #24292e;
  81. }
  82. .pl-mb /* markup.bold */ {
  83. font-weight: bold;
  84. color: #24292e;
  85. }
  86. .pl-md /* markup.deleted, meta.diff.header.from-file, punctuation.definition.deleted */ {
  87. color: #b31d28;
  88. background-color: #ffeef0;
  89. }
  90. .pl-mi1 /* markup.inserted, meta.diff.header.to-file, punctuation.definition.inserted */ {
  91. color: #22863a;
  92. background-color: #f0fff4;
  93. }
  94. .pl-mc /* markup.changed, punctuation.definition.changed */ {
  95. color: #e36209;
  96. background-color: #ffebda;
  97. }
  98. .pl-mi2 /* markup.ignored, markup.untracked */ {
  99. color: #f6f8fa;
  100. background-color: #005cc5;
  101. }
  102. .pl-mdr /* meta.diff.range */ {
  103. font-weight: bold;
  104. color: #6f42c1;
  105. }
  106. .pl-ba /* brackethighlighter.tag, brackethighlighter.curly, brackethighlighter.round, brackethighlighter.square, brackethighlighter.angle, brackethighlighter.quote */ {
  107. color: #586069;
  108. }
  109. .pl-sg /* sublimelinter.gutter-mark */ {
  110. color: #959da5;
  111. }
  112. .pl-corl /* constant.other.reference.link, string.other.link */ {
  113. text-decoration: underline;
  114. color: #032f62;
  115. }
  116. }
  117. </style>
  118. <div xmlns="http://www.w3.org/1999/xhtml" class="div-3">
  119. <pre>
  120. <span class="pl-k">import</span> Console;
  121. <span class="pl-k">import</span> Cpp &lt;vector&gt;;
  122. <span class="pl-c"><span class="pl-c">//</span> Carbon and C++ interop</span>
  123. <span class="pl-k">void</span> <span class="pl-en">PrintWithTotal</span>(v: Cpp.std.vector(Cpp.<span class="pl-c1">uint64_t</span>)) {
  124. <span class="pl-k">var</span> sum: <span class="pl-c1">u64</span> = <span class="pl-c1">0</span>;
  125. <span class="pl-k">for</span> (e: Cpp.<span class="pl-c1">uint64_t</span> in v) {
  126. sum += e;
  127. Console.<span class="pl-c1">Print</span>(e, <span class="pl-s"><span class="pl-pds">"</span><span class="pl-cce">\n</span><span class="pl-pds">"</span></span>)
  128. }
  129. Console.<span class="pl-c1">Print</span>(<span class="pl-s"><span class="pl-pds">"</span>Total: <span class="pl-pds">"</span></span>, sum, <span class="pl-s"><span class="pl-pds">"</span><span class="pl-cce">\n</span><span class="pl-pds">"</span></span>);
  130. }
  131. </pre>
  132. </div>
  133. </foreignObject>
  134. </svg>