platformos-check 0.4.6 → 0.4.8

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 737ae774f598b10b46e556298d68e7eafe711c00ef6463c30ba8f8736c6cf42a
-  data.tar.gz: 443998e3955d4032ab41b2d5189ff42f5a736781b05cf0bdfa2a8dfe1b4fe629
+  metadata.gz: 579d15b95d0e00e65eb562778f0870bc28698bfe2f6c97ca66e7ca81a18b855c
+  data.tar.gz: 2f6afe88f067cccc169d62a9744399b5b11294537dd8c7653ca9d5ed9165f1f3
 SHA512:
-  metadata.gz: 5049fd3616a7721b1d23920c87436ed19a525d96454ef18a93cb22ba210e733a5984c154f3a79778f047769fa059052fc65b3ca56cc02d70e4ee5e108c568b29
-  data.tar.gz: c7dcafbce9b30fc5fd2b954a080e4f167f24c7fcfbc8ea48b6131b54eb33eb71657f45068075c1ea2f9f6520682a33f94eb207e0a68341e10f9abcda4939b8db
+  metadata.gz: 2fa86abf31229208eaff48e7f95b212977682bd560234d99d2fa9b3162a33ca7139b8faad2960152951295b056ef41b834e9faa756b0627f02a14034f6d4e468
+  data.tar.gz: 18fa38e2613faf4e31dfdf0a432e4fbe3a8ced0b18f8f194698bf73606affd770cf2589dadb852c26c19f5ec31146535e95e863d7c31ab9c8977feb67fa99a07

data/CHANGELOG.md

@@ -1,3 +1,13 @@
+v0.4.8 / 2023-12-20
+==================
+
+  * Add GraphqlInForLoop check
+
+v0.4.7 / 2023-12-27
+==================
+
+  * Add UnreachableCode check
+
 v0.4.6 / 2023-12-19
 ==================
 

data/config/default.yml

@@ -50,6 +50,10 @@ UnknownFilter:
   enabled: true
   ignore: []
 
+UnreachableCode:
+  enabled: true
+  ignore: []
+
 UnusedAssign:
   enabled: true
   ignore: []
@@ -95,6 +99,10 @@ FormAuthenticityToken:
   enabled: true
   ignore: []
 
+GraphqlInForLoop:
+  enabled: true
+  ignore: []
+
 HtmlParsingError:
   enabled: true
   ignore: []

data/docs/checks/form_action.md

@@ -45,7 +45,7 @@ There should be no cases where disabling this rule is needed.
 
 ## Version
 
-This check has been introduced in PlatformOS Check 0.45.0.
+This check has been introduced in PlatformOS Check 0.4.5.
 
 ## Resources
 

data/docs/checks/form_authenticity_token.md

@@ -39,7 +39,7 @@ There should be no cases where disabling this rule is needed.
 
 ## Version
 
-This check has been introduced in PlatformOS Check 0.46.0.
+This check has been introduced in PlatformOS Check 0.4.6.
 
 ## Resources
 

data/docs/checks/graphql_in_for_loop.md

@@ -0,0 +1,56 @@
+# GraphQL in for loop (`GraphqlInForLoop`)
+
+This check is aimed towards identifying performance problems before they arise. Invoking GraphQL queries/mutations inside the `for loop` can lead to performance issues such as increased database load, higher latency, and inefficient use of network resources. It is particularly problematic when dealing with large datasets or when the number of entities grows.
+
+Invoking a GraphQL query within a `for loop` might also be a sign of a so called N+1 problem. The N+1 pattern often arises when dealing with relationships between entities. In an attempt to retrieve related data, developers may inadvertently end up executing a large number of queries, resulting in a significant performance overhead.
+
+To address this problem, developers can use techniques like eager loading, which involves fetching the related data in a single query instead of issuing separate queries for each entity. This helps reduce the number of database round-trips and improves overall system performance. In platformOS the most common technique to fix the N+1 issue is by [using related_records][relalted_records].
+
+## Check Details
+
+This check is aimed towards identifying GraphQL queries invoked within a for loop.
+
+:-1: Examples of **incorrect** code for this check:
+
+```liquid
+{% assign arr = 'a,b,c' | split: ','}
+{% for el in arr %}
+  {% graphql g = 'my/graphql', el: el %}
+  {% print el %}
+{% endfor %}
+
+```
+
+:+1: Examples of **correct** code for this check:
+
+```liquid
+{% assign arr = 'a,b,c' | split: ','}
+{% graphql g = 'my/graphql', arr: arr %}
+```
+
+## Check Options
+
+The default configuration for this check is the following:
+
+```yaml
+GraphqlInForLoop:
+  enabled: true
+```
+
+## When Not To Use It
+
+In the perfect world, there should be no cases where disabling this rule is needed - platformOS most likely already has a way to solve a problem without using GraphQL query / mutation in the for loop.
+
+## Version
+
+This check has been introduced in PlatformOS Check 0.4.9.
+
+## Resources
+
+- [Rule Source][codesource]
+- [Documentation Source][docsource]
+- [platformOS - loading related records][related_records]
+
+[codesource]: /lib/platformos_check/checks/graphql_in_for_loop.rb
+[docsource]: /docs/checks/graphql_in_for_loop.md
+[related_records]: https://documentation.platformos.com/developer-guide/records/loading-related-records

data/docs/checks/unreachable_code.md

@@ -0,0 +1,66 @@
+# Unreachable code (`UnreachableCode`)
+
+Unreachable code reports code that will never be reached, no matter what.
+
+## Check Details
+
+This check is aimed at ensuring you will not accidentally write code that will never be reached.
+
+:-1: Examples of **incorrect** code for this check:
+
+```liquid
+  assign x = "hello"
+  break
+  log x
+```
+
+```liquid
+  if x
+    log x
+  else
+    break
+    log "Stop"
+  endif
+```
+
+:+1: Examples of **correct** code for this check:
+
+```liquid
+  assign x = "hello"
+  log x
+  break
+```
+
+```liquid
+  if x
+    log x
+  else
+    log "Stop"
+    break
+  endif
+```
+
+## Check Options
+
+The default configuration for this check is the following:
+
+```yaml
+UnreachableCode:
+  enabled: true
+```
+
+## When Not To Use It
+
+There should be no cases where disabling this rule is needed.
+
+## Version
+
+This check has been introduced in PlatformOS Check 0.4.7.
+
+## Resources
+
+- [Rule Source][codesource]
+- [Documentation Source][docsource]
+
+[codesource]: /lib/platformos_check/checks/unreachable_code.rb
+[docsource]: /docs/checks/unreachable_code.md

data/lib/platformos_check/analyzer.rb

@@ -2,13 +2,15 @@
 
 module PlatformosCheck
   class Analyzer
-    def initialize(platformos_app, checks = Check.all.map(&:new), auto_correct = false)
+    def initialize(platformos_app, checks = Check.all.map(&:new), auto_correct = false, store_warnings = false)
       @platformos_app = platformos_app
       @auto_correct = auto_correct
+      @store_warnings = store_warnings
 
       @liquid_checks = Checks.new
       @yaml_checks = Checks.new
       @html_checks = Checks.new
+      @warnings = {}
 
       checks.each do |check|
         check.platformos_app = @platformos_app
@@ -30,6 +32,8 @@ module PlatformosCheck
         @html_checks.flat_map(&:offenses)
     end
 
+    attr_reader :warnings
+
     def yaml_file_count
       @yaml_file_count ||= @platformos_app.yaml.size
     end
@@ -54,6 +58,7 @@ module PlatformosCheck
           yield(liquid_file.relative_path.to_s, i, total_file_count) if block_given?
           liquid_visitor.visit_liquid_file(liquid_file)
           html_visitor.visit_liquid_file(liquid_file)
+          @warnings[liquid_file.path] = liquid_file.warnings if @store_warnings && !liquid_file.warnings&.empty?
         end
       end
 

data/lib/platformos_check/checks/graphql_in_for_loop.rb

@@ -0,0 +1,108 @@
+# frozen_string_literal: true
+
+module PlatformosCheck
+  class GraphqlInForLoop < LiquidCheck
+    severity :suggestion
+    categories :liquid, :performance
+    doc docs_url(__FILE__)
+
+    PARTIAL_TAG = %i[render include]
+    OFFENSE_MSG = "Do not invoke GraphQL in a for loop"
+
+    class PartialInfo
+      attr_reader :node, :app_file
+
+      def initialize(node:, app_file:)
+        @node = node
+        @app_file = app_file
+      end
+    end
+
+    def self.single_file(**_args)
+      true
+    end
+
+    def initialize
+      @partials = []
+      @all_partials = Set.new
+    end
+
+    def on_for(_node)
+      @in_for = true
+    end
+
+    def on_graphql(node)
+      add_graphql_offense(node:, graphql_node: node) if should_report?
+    end
+
+    def after_for(_node)
+      @in_for = false
+    end
+
+    def on_background(_node)
+      @in_background = true
+    end
+
+    def after_background(_node)
+      @in_background = false
+    end
+
+    def on_include(node)
+      return unless should_report?
+
+      add_partial(path: node.value.template_name_expr, node:)
+    end
+
+    def on_render(node)
+      return unless should_report?
+
+      add_partial(path: node.value.template_name_expr, node:)
+    end
+
+    def on_function(node)
+      return unless should_report?
+
+      add_partial(path: node.value.from, node:)
+    end
+
+    def on_end
+      while (partial_info = @partials.shift)
+        report_offense_on_graphql(LiquidNode.new(partial_info.app_file.parse.root, nil, partial_info.app_file), offense_node: partial_info.node)
+      end
+    end
+
+    protected
+
+    def add_partial(path:, node:)
+      return unless path.is_a?(String)
+      return if @all_partials.include?(path)
+      return if @platformos_app.grouped_files[PlatformosCheck::PartialFile][path].nil?
+
+      @all_partials << path
+      @partials << PartialInfo.new(node:, app_file: @platformos_app.grouped_files[PlatformosCheck::PartialFile][path])
+    end
+
+    def should_report?
+      @in_for && !@in_background
+    end
+
+    def add_graphql_offense(node:, graphql_node:)
+      return add_offense(OFFENSE_MSG, node:) unless graphql_node.value.partial_name
+
+      partial_name = graphql_node.value.partial_name.is_a?(String) ? graphql_node.value.partial_name : "variable: #{graphql_node.value.partial_name.name}"
+      add_offense("#{OFFENSE_MSG} (#{partial_name})", node:)
+    end
+
+    def report_offense_on_graphql(node, offense_node:)
+      if node.type_name == :graphql
+        add_graphql_offense(node: offense_node, graphql_node: node)
+      elsif PARTIAL_TAG.include?(node.type_name)
+        add_partial(path: node.value.template_name_expr, node: offense_node)
+      elsif node.type_name == :function
+        add_partial(path: node.value.from, node: offense_node)
+      elsif node.children && !node.children.empty?
+        node.children.each { |c| report_offense_on_graphql(c, offense_node:) }
+      end
+    end
+  end
+end

data/lib/platformos_check/checks/unreachable_code.rb

@@ -0,0 +1,113 @@
+# frozen_string_literal: true
+
+module PlatformosCheck
+  class UnreachableCode < LiquidCheck
+    severity :error
+    category :liquid
+    doc docs_url(__FILE__)
+
+    FLOW_COMMAND = %i[break continue return]
+    CONDITION_TYPES = Set.new(%i[condition else_condition])
+    INCLUDE_FLOW_COMMAND = %w[break]
+
+    def on_document(node)
+      @processed_files = {}
+      check_unreachable_code(node.children)
+    end
+
+    protected
+
+    def check_unreachable_code(nodes)
+      nodes = sanitize_children(nodes)
+      nodes.each_cons(2) do |node1, _node2|
+        next unless flow_expression?(node1)
+
+        add_offense("Unreachable code after `#{node1.type_name}`", node: node1)
+      end
+      flow_expression?(nodes.last)
+    end
+
+    def sanitize_children(children)
+      children.reject { |c| c.value.is_a?(String) && c.value.strip == '' }
+    end
+
+    def flow_expression?(node)
+      return false if node.nil?
+      return true if flow_command?(node)
+
+      case node.type_name
+      when :if, :unless
+        check_if(node)
+        false
+      when :for
+        check_for(node)
+        false
+      when :case
+        check_case(node)
+        false
+      when :try_rc, :try
+        check_try(node)
+        false
+      when :block_body
+        node.children.any? { |c| flow_expression?(c) }
+      else
+        false
+      end
+    end
+
+    def check_if(node)
+      node.children.each do |condition|
+        check_unreachable_code(condition.children.detect(&:block_body?).children)
+      end
+    end
+
+    def check_for(node)
+      check_unreachable_code(node.children.detect(&:block_body?).children)
+    end
+
+    def check_case(node)
+      node.children.each do |condition|
+        next unless CONDITION_TYPES.include?(condition.type_name)
+
+        check_unreachable_code(condition.children.detect(&:block_body?).children)
+      end
+    end
+
+    def check_try(node)
+      node.children.each do |block_body|
+        check_unreachable_code(block_body.children)
+      end
+    end
+
+    def flow_command?(node)
+      return true if FLOW_COMMAND.include?(node.type_name)
+
+      return evaluate_include(node.value.template_name_expr) if node.type_name == :include && node.value.template_name_expr.is_a?(String)
+
+      false
+    end
+
+    def evaluate_include(path)
+      return false unless path.is_a?(String)
+
+      @processed_files[path] ||= include_node_contains_flow_command?(@platformos_app.grouped_files[PlatformosCheck::PartialFile][path]&.parse&.root)
+      @processed_files[path]
+    end
+
+    def include_node_contains_flow_command?(root)
+      return false if root.nil?
+
+      root.nodelist.any? do |node|
+        if INCLUDE_FLOW_COMMAND.include?(node.respond_to?(:tag_name) && node.tag_name)
+          true
+        elsif node.respond_to?(:nodelist) && node.nodelist
+          include_node_contains_flow_command?(node)
+        elsif node.respond_to?(:tag_name) && node.tag_name == 'include' && node.template_name_expr.is_a?(String)
+          evaluate_include(node.template_name_expr)
+        else
+          false
+        end
+      end
+    end
+  end
+end

data/lib/platformos_check/liquid_file.rb

@@ -68,7 +68,7 @@ module PlatformosCheck
     end
 
     def warnings
-      @ast.warnings
+      parse&.warnings
     end
 
     def root

data/lib/platformos_check/tags/context.rb

@@ -0,0 +1,13 @@
+# frozen_string_literal: true
+
+module PlatformosCheck
+  module Tags
+    class Context < Base
+      class ParseTreeVisitor < Liquid::ParseTreeVisitor
+        def children
+          @node.attributes_expr.values
+        end
+      end
+    end
+  end
+end

data/lib/platformos_check/tags.rb

@@ -53,6 +53,8 @@ module PlatformosCheck
         register_tag('background', Background)
         register_tag('content_for', ContentFor)
         register_tag('session', Session)
+        register_tag('context', Context)
+        register_tag('context_rc', Context)
         register_tag('sign_in', SignIn)
         register_tag('yield', Yield)
         register_tag('graphql', Graphql)

data/lib/platformos_check/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module PlatformosCheck
-  VERSION = "0.4.6"
+  VERSION = "0.4.8"
 end

data/lib/platformos_check.rb

@@ -47,6 +47,7 @@ require_relative "platformos_check/tags/base"
 require_relative "platformos_check/tags/base_block"
 require_relative "platformos_check/tags/background"
 require_relative "platformos_check/tags/cache"
+require_relative "platformos_check/tags/context"
 require_relative "platformos_check/tags/export"
 require_relative "platformos_check/tags/form"
 require_relative "platformos_check/tags/function"

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: platformos-check
 version: !ruby/object:Gem::Version
-  version: 0.4.6
+  version: 0.4.8
 platform: ruby
 authors:
 - Piotr Bliszczyk
@@ -10,7 +10,7 @@ authors:
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2023-12-19 00:00:00.000000000 Z
+date: 2023-12-29 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: graphql
@@ -119,6 +119,7 @@ files:
 - docs/checks/deprecated_filter.md
 - docs/checks/form_action.md
 - docs/checks/form_authenticity_token.md
+- docs/checks/graphql_in_for_loop.md
 - docs/checks/html_parsing_error.md
 - docs/checks/img_lazy_loading.md
 - docs/checks/img_width_and_height.md
@@ -134,6 +135,7 @@ files:
 - docs/checks/template_length.md
 - docs/checks/undefined_object.md
 - docs/checks/unknown_filter.md
+- docs/checks/unreachable_code.md
 - docs/checks/unused_assign.md
 - docs/checks/unused_partial.md
 - docs/checks/valid_yaml.md
@@ -163,6 +165,7 @@ files:
 - lib/platformos_check/checks/deprecated_filter.rb
 - lib/platformos_check/checks/form_action.rb
 - lib/platformos_check/checks/form_authenticity_token.rb
+- lib/platformos_check/checks/graphql_in_for_loop.rb
 - lib/platformos_check/checks/html_parsing_error.rb
 - lib/platformos_check/checks/img_lazy_loading.rb
 - lib/platformos_check/checks/img_width_and_height.rb
@@ -178,6 +181,7 @@ files:
 - lib/platformos_check/checks/template_length.rb
 - lib/platformos_check/checks/undefined_object.rb
 - lib/platformos_check/checks/unknown_filter.rb
+- lib/platformos_check/checks/unreachable_code.rb
 - lib/platformos_check/checks/unused_assign.rb
 - lib/platformos_check/checks/unused_partial.rb
 - lib/platformos_check/checks/valid_yaml.rb
@@ -314,6 +318,7 @@ files:
 - lib/platformos_check/tags/base_block.rb
 - lib/platformos_check/tags/base_tag_methods.rb
 - lib/platformos_check/tags/cache.rb
+- lib/platformos_check/tags/context.rb
 - lib/platformos_check/tags/export.rb
 - lib/platformos_check/tags/form.rb
 - lib/platformos_check/tags/function.rb