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