Awk.xml 1.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354
  1. <?xml version="1.0"?>
  2. <Language name="Awk" ext="awk" CaseSensitive="true" >
  3. <!-- Atributos a usar. No cambiar formato porque se modifica automáticamente-->
  4. <Attribute name="Keyword" ForeCol="#00A000" Bold="true" Italic="False" Underline="False"/>
  5. <Attribute Name="Comment" ForeCol="#F27E28" Bold="False" Italic="False" Underline="False"/>
  6. <Attribute Name="String" ForeCol="#0000FF" Bold="False" Italic="False" Underline="False"/>
  7. <Attribute name="Functions" ForeCol="#000000" Bold="true" Italic="False" Underline="False"/>
  8. <Attribute name="Variables" ForeCol="#000000" BackCol="#F7FE2E"></Attribute>
  9. <Completion CaseSensitive="false">
  10. <!-- Atributos a usar. Fin de lista. -->
  11. <Include Attribute="Keyword"></Include>
  12. <Include Attribute="Functions"></Include>
  13. <Include Attribute="Variables"></Include>
  14. "BEGIN {}"
  15. "END {}"
  16. </Completion>
  17. <Identifiers CharsStart= "A..Za..z_$" Content = "A..Za..z0..9_">
  18. <Keyword>
  19. if else while do for in break continue delete
  20. next function func exit
  21. BEGIN END
  22. </Keyword>
  23. <Functions>
  24. atan2
  25. close cos ctime
  26. exp
  27. getline gsub
  28. index int
  29. length log
  30. match
  31. print printf
  32. rand
  33. sin split sprintf sqrt srand sub substr system
  34. time tolower toupper
  35. </Functions>
  36. <Variables>
  37. ARGC ARGV
  38. FILENAME FS
  39. NF NR
  40. OFS ORS OFMT
  41. RLENGTH RS RSTART
  42. </Variables>
  43. </Identifiers>
  44. <Token CharsStart="0..9" Content = '0..9' Attribute="NUMBER"> </Token>
  45. <String Start='"' End='"'></String>
  46. <Comment Start="#" ></Comment>
  47. <Block Start="{" End="}" Name="blk_llaves" BackCol="#F7F7C8"></Block>
  48. <Block Start="do" End="done" Name="blk_do" BackCol="transparent"></Block>
  49. <Block Start="case" End="esac" Name="blk_ca" BackCol="transparent"></Block>
  50. </Language>