Class: Rbs::Merge::Provider

Inherits:
Object
  • Object
show all
Defined in:
lib/rbs/merge/provider.rb,
sig/rbs/merge.rbs

Overview

Base-aware, source-preserving provider for native RBS declarations. rubocop:disable Metrics/AbcSize, Metrics/ClassLength, Metrics/CyclomaticComplexity, Metrics/MethodLength, Metrics/ParameterLists, Metrics/PerceivedComplexity -- provider decisions, source plans, and verification form one boundary

Defined Under Namespace

Classes: Decision, Document, ExactDocument, Owner

Constant Summary collapse

DEFAULT_PROFILE = 
:source_preserving

Instance Method Summary collapse

Instance Method Details

#analyze(request) ⇒ Hash[Symbol, untyped]

Parameters:

  • request (Hash[Symbol, untyped])

Returns:

  • (Hash[Symbol, untyped]) 


31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
 
# File 'lib/rbs/merge/provider.rb', line 31

def analyze(request)
  document = parse_document(:analyze, request, :source)
  return document if provider_failure?(document)

  result(
    :analyze,
    request,
    analysis: {
      backend: 'rbs',
      valid: true,
      declarations: document.owners.map { |owner| owner_description(owner) }
    },
    verification: { source_parsed: true }
  )
end

#capabilities ⇒ Hash[Symbol, untyped]

Returns:

  • (Hash[Symbol, untyped]) 


20
21
22
23
24
25
26
27
28
29
 
# File 'lib/rbs/merge/provider.rb', line 20

def capabilities
  {
    operations: Ast::Merge::ProviderContract::OPERATIONS,
    dialects: %i[rbs],
    backends: %i[rbs],
    profiles: [DEFAULT_PROFILE],
    role: :workflow,
    source_preservation: %i[exact_source declaration_fragments line_provenance reparse semantic_verification]
  }.freeze
end

#diff2(request) ⇒ Hash[Symbol, untyped]

Parameters:

  • request (Hash[Symbol, untyped])

Returns:

  • (Hash[Symbol, untyped]) 


47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
 
# File 'lib/rbs/merge/provider.rb', line 47

def diff2(request)
  before = parse_document(:diff2, request, :before)
  return before if provider_failure?(before)

  after = parse_document(:diff2, request, :after)
  return after if provider_failure?(after)

  changes = diff_documents(before, after)
  result(
    :diff2,
    request,
    diff: { changes: changes },
    changes: changes,
    verification: { before_parsed: true, after_parsed: true }
  )
end

#family ⇒ String

Returns:

  • (String) 


18
 
# File 'lib/rbs/merge/provider.rb', line 18

def family = 'rbs'

#merge2(request) ⇒ Hash[Symbol, untyped]

Parameters:

  • request (Hash[Symbol, untyped])

Returns:

  • (Hash[Symbol, untyped]) 


64
65
66
67
68
69
70
71
72
73
74
75
 
# File 'lib/rbs/merge/provider.rb', line 64

def merge2(request)
  merge3_request = request.merge(
    base_source: request.fetch(:current_source),
    ours_source: request.fetch(:current_source),
    theirs_source: request.fetch(:incoming_source)
  )
  merged = merge3(merge3_request)
  merged.merge(
    operation: :merge2,
    verification: merged.fetch(:verification).except(:base_participated)
  )
end

#merge3(request) ⇒ Hash[Symbol, untyped]

Parameters:

  • request (Hash[Symbol, untyped])

Returns:

  • (Hash[Symbol, untyped]) 


77
78
79
80
81
82
83
84
85
86
87
88
 
# File 'lib/rbs/merge/provider.rb', line 77

def merge3(request)
  exact_role = exact_revision_role(request)
  return merge3_exact(request, exact_role) if exact_role

  documents = parse_merge3_documents(request)
  return documents if provider_failure?(documents)

  decision = decide(documents, include_unmanaged_conflict: true)
  return render_conflicts(request, documents, decision) unless decision.conflicts.empty?

  render_composite(request, documents, decision)
end

#provider_id ⇒ String

Returns:

  • (String) 


17
 
# File 'lib/rbs/merge/provider.rb', line 17

def provider_id = 'ruby.rbs'