class Rouge::Lexers::GAL

Public Class Methods

keywords() click to toggle source
# File lib/rouge/lexers/gal.rb, line 16
def self.keywords
  @keywords ||= Set.new %w(
    gal composite import interface extends 
    TRANSIENT typedef hotbit
    transition synchronization label predicate
    for if else abort fixpoint
    self main
    property bounds reachable invariant never ctl ltl
    AG AF AX EG EF EX A E U W M R X
    true false
  )
end
keywords_type() click to toggle source
# File lib/rouge/lexers/gal.rb, line 29
def self.keywords_type
  @keywords_type ||= Set.new %w(
    int array
  )
end
reserved() click to toggle source
# File lib/rouge/lexers/gal.rb, line 35
def self.reserved
  @reserved ||= Set.new %w(
    AG AF AX EG EF EX A E U W M R X
  )
end