bel_parser 1.0.0.alpha.13 → 1.0.0.alpha.14

data/lib/bel_parser/script/syntax/unresolvable_namespace.rb

@@ -0,0 +1,55 @@
+require 'bel_parser/language'
+require 'bel_parser/language/syntax_function'
+require 'bel_parser/language/syntax_error'
+require 'bel_parser/quoting'
+require 'bel_parser/parsers/ast/node'
+require 'concurrent/hash'
+
+module BELParser
+  module Script
+    module Syntax
+      class UnresolvableNamespace
+        extend BELParser::Language::Syntax::SyntaxFunction
+        extend BELParser::Quoting
+
+        TARGET_NODE = BELParser::Parsers::AST::NamespaceDefinition
+
+        def self.map(ast_node, script_context)
+          return nil unless ast_node.is_a?(TARGET_NODE)
+          resource_reader = script_context[:resource_reader]
+
+          keyword, domain = ast_node.children
+          if domain.url?
+            url = unquote(domain.child.string.string_literal)
+            puts resource_reader.retrieve_resource(url)
+            unless resource_reader.retrieve_resource(url)
+              prefix = keyword.identifier.string_literal
+              return UnresolvableNamespaceError.new(ast_node, prefix, url)
+            end
+          end
+
+          nil
+        end
+      end
+
+      # UnresolvableNamespaceError indicates that a namespace resource could
+      # not be resolved.
+      class UnresolvableNamespaceError < BELParser::Language::Syntax::SyntaxError
+        # Gets the unresolvable namespace prefix.
+        attr_reader :prefix
+        # Gets the unresolvable namespace identifier.
+        attr_reader :identifier
+
+        def initialize(define_namespace_node, prefix, identifier)
+          super(define_namespace_node, nil)
+          @prefix     = prefix
+          @identifier = identifier
+        end
+
+        def msg
+          %(Could not resolve "#@prefix" with identifier "#@identifier".)
+        end
+      end
+    end
+  end
+end

data/lib/bel_parser/script/syntax/unsupported_bel_version.rb

@@ -0,0 +1,58 @@
+require 'bel_parser/language'
+require 'bel_parser/language/syntax_function'
+require 'bel_parser/language/syntax_error'
+require 'bel_parser/quoting'
+require 'bel_parser/parsers/ast/node'
+require 'concurrent/hash'
+
+module BELParser
+  module Script
+    module Syntax
+      class UnsupportedBELVersion
+        extend BELParser::Language::Syntax::SyntaxFunction
+        extend BELParser::Quoting
+
+        TARGET_NODE         = BELParser::Parsers::AST::DocumentProperty
+        BEL_VERSION_REGEX   = /#{Regexp.escape('bel_version')}/i
+
+        def self.map(ast_node, script_context)
+          return nil unless ast_node.is_a?(TARGET_NODE)
+          name, value = ast_node.children
+          name_string  = name.identifier.string_literal
+          return nil unless name_string =~ BEL_VERSION_REGEX
+
+          value_string = unquote(value.children[0].string_literal)
+          begin
+            BELParser::Language.specification(value_string)
+            nil
+          rescue ArgumentError
+            latest_version = BELParser::Language.latest_supported_version
+            latest_spec    = BELParser::Language.specification(latest_version)
+            script_context[:specification] = latest_spec
+            UnsupportedBELVersionWarning.new(ast_node, value_string)
+          end
+        end
+      end
+
+      # UnsupportedBELVersionError represents the use of an unsupported
+      # BEL version string.
+      class UnsupportedBELVersionWarning < BELParser::Language::Syntax::SyntaxWarning
+        # Gets the unsupported bel version.
+        attr_reader :unsupported_version
+
+        def initialize(document_property_node, unsupported_version)
+          super(document_property_node, nil)
+          @unsupported_version = unsupported_version
+          @latest              = BELParser::Language.latest_supported_version
+        end
+
+        def msg
+          <<-MSG.gsub(/^ +/, '').delete("\n")
+            Unsupported BEL version "#@unsupported_version". 
+            Setting BEL version to the latest supported version "#@latest".
+          MSG
+        end
+      end
+    end
+  end
+end

data/lib/bel_parser/script/validator.rb

@@ -0,0 +1,153 @@
+require          'concurrent/hash'
+
+require_relative '../parsers/common'
+require_relative '../parsers/expression'
+require_relative '../parsers/bel_script'
+
+require_relative '../ast_filter'
+require_relative '../ast_generator'
+
+require_relative 'state_function'
+require_relative '../language/syntax_function'
+
+module BELParser
+  module Script
+    class Validator
+      include BELParser::Parsers::Common
+      include BELParser::Parsers::Expression
+      include BELParser::Parsers::BELScript
+
+      FILTER = BELParser::ASTFilter.new(
+        :simple_statement,
+        :observed_term,
+        :nested_statement,
+        :annotation_definition,
+        :namespace_definition,
+        :set,
+        :document_property,
+        :unset,
+        :blank_line,
+        :comment_line
+      )
+
+      def initialize(options = {})
+        @script_context = Concurrent::Hash.new.merge(options)
+
+        Validator.require_script_path
+        @state_functions  = Validator.state_constants(State)
+        @syntax_functions = Validator.syntax_constants(Syntax)
+      end
+
+      def each(io)
+        if block_given?
+          filtered_ast = FILTER.each(BELParser::ASTGenerator.new.each(io))
+          filtered_ast.each do |results|
+            line_number, line, ast_results = results
+            ast_node                       = ast_results.first
+
+            syntax_results =
+              ast_node.traverse.flat_map do |node|
+                @syntax_functions.flat_map do |func|
+                  func.map(node, @script_context)
+                end
+              end.compact
+
+            if syntax_results.empty?
+              ast_node.traverse.each do |node|
+                @state_functions.each do |func|
+                  func.consume(node, @script_context)
+                end
+              end
+            end
+
+            yield [line_number, line, ast_node, syntax_results, @script_context]
+          end
+        else
+          enum_for(:each, io)
+        end
+      end
+
+      def self.require_script_path
+        base_path = File.expand_path(File.dirname(__FILE__)) + File::SEPARATOR
+        ['state', 'syntax'].each do |set|
+          Dir[File.join(base_path, set, '*.rb')]
+            .each do |ruby_file|
+              ruby_file.sub!(/^#{Regexp.escape(base_path)}/, '')
+              require_relative ruby_file
+            end
+        end
+      end
+
+      def self.state_constants(mod)
+        mod.constants.collect do |symbol|
+          const = mod.const_get(symbol)
+          const if const.respond_to?(:consume)
+        end.compact
+      end
+
+      def self.syntax_constants(mod)
+        mod.constants.collect do |symbol|
+          const = mod.const_get(symbol)
+          const if const.respond_to?(:map)
+        end.compact
+      end
+    end
+  end
+end
+
+if __FILE__ == $PROGRAM_NAME
+  $LOAD_PATH.unshift(
+    File.join(File.expand_path(File.dirname(__FILE__)), '..', '..'))
+  require 'bel_parser/language'
+  require 'bel_parser/resource/resource_file_reader'
+  initial_state = {
+    resource_reader: BELParser::Resource::ResourceFileReader.new,
+    specification:   BELParser::Language.specification(
+      BELParser::Language.latest_supported_version
+    )
+  }
+
+  BELParser::Script::Validator
+  .new(initial_state)
+  .each($stdin) do |(line_number, line, ast, syntax_results, state)|
+    puts "#{line_number}: #{line}"
+    puts ast.to_s(1)
+
+    puts "Syntax errors:"
+    syntax_results
+      .select do |res|
+        res.is_a?(BELParser::Language::Syntax::SyntaxError)
+      end
+      .each do |res|
+        puts "  #{res}"
+      end
+
+    puts "Syntax warnings:"
+    syntax_results
+      .select do |res|
+        res.is_a?(BELParser::Language::Syntax::SyntaxWarning)
+      end
+      .each do |res|
+        puts "  #{res}"
+      end
+
+    puts "Semantics warnings:"
+    syntax_results
+      .select do |res|
+        res.is_a?(BELParser::Language::Semantics::SemanticsWarning)
+      end
+      .each do |res|
+        puts "  #{res}"
+      end
+
+    puts "State:"
+    state.each do |key, value|
+      case value
+      when Hash
+        puts "  #{key}: #{value.keys}"
+      else
+        puts "  #{key}: #{value}"
+      end
+    end
+  end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: bel_parser
 version: !ruby/object:Gem::Version
-  version: 1.0.0.alpha.13
+  version: 1.0.0.alpha.14
 platform: ruby
 authors:
 - Anthony Bargnesi
@@ -311,6 +311,20 @@ files:
 - lib/bel_parser/resource/sparql_reader.rb
 - lib/bel_parser/resource/value.rb
 - lib/bel_parser/script/parser.rb
+- lib/bel_parser/script/state/annotation_definition.rb
+- lib/bel_parser/script/state/bel_version.rb
+- lib/bel_parser/script/state/document_property.rb
+- lib/bel_parser/script/state/namespace_definition.rb
+- lib/bel_parser/script/state/set.rb
+- lib/bel_parser/script/state/unset.rb
+- lib/bel_parser/script/state_function.rb
+- lib/bel_parser/script/syntax/expression_validation.rb
+- lib/bel_parser/script/syntax/invalid_regex_pattern.rb
+- lib/bel_parser/script/syntax/undefined_annotation.rb
+- lib/bel_parser/script/syntax/undefined_annotation_value.rb
+- lib/bel_parser/script/syntax/unresolvable_namespace.rb
+- lib/bel_parser/script/syntax/unsupported_bel_version.rb
+- lib/bel_parser/script/validator.rb
 - lib/bel_parser/vendor/ast.rb
 - lib/bel_parser/vendor/ast/node.rb
 - lib/bel_parser/vendor/ast/processor.rb