igniter_lang 0.1.0.alpha.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +7 -0
- data/README.md +65 -0
- data/RELEASE_NOTES.md +137 -0
- data/bin/igc +7 -0
- data/lib/igniter_lang/assembler.rb +717 -0
- data/lib/igniter_lang/classifier.rb +405 -0
- data/lib/igniter_lang/cli.rb +76 -0
- data/lib/igniter_lang/compilation_report.rb +99 -0
- data/lib/igniter_lang/compiler_orchestrator.rb +362 -0
- data/lib/igniter_lang/compiler_profile_contract_validator.rb +286 -0
- data/lib/igniter_lang/compiler_result.rb +77 -0
- data/lib/igniter_lang/diagnostics.rb +125 -0
- data/lib/igniter_lang/fragment_registry_compatibility_adapter.rb +129 -0
- data/lib/igniter_lang/internal_profile_assembly.rb +199 -0
- data/lib/igniter_lang/internal_profile_assembly_source_packet.rb +175 -0
- data/lib/igniter_lang/internal_profile_static_data_carrier.rb +286 -0
- data/lib/igniter_lang/oof_fragment_registry.rb +802 -0
- data/lib/igniter_lang/parser.rb +1736 -0
- data/lib/igniter_lang/runtime_smoke.rb +80 -0
- data/lib/igniter_lang/semanticir_emitter.rb +847 -0
- data/lib/igniter_lang/temporal_access_runtime.rb +437 -0
- data/lib/igniter_lang/temporal_executor.rb +457 -0
- data/lib/igniter_lang/typechecker.rb +821 -0
- data/lib/igniter_lang/version.rb +5 -0
- data/lib/igniter_lang.rb +27 -0
- metadata +72 -0
data/lib/igniter_lang.rb
ADDED
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
require_relative "igniter_lang/compiler_orchestrator"
|
|
4
|
+
require_relative "igniter_lang/version"
|
|
5
|
+
|
|
6
|
+
module IgniterLang
|
|
7
|
+
module_function
|
|
8
|
+
|
|
9
|
+
def compile(
|
|
10
|
+
source_path:,
|
|
11
|
+
out_path:,
|
|
12
|
+
sample_input: nil,
|
|
13
|
+
sample_input_resolver: nil,
|
|
14
|
+
runtime_smoke: nil,
|
|
15
|
+
compiler_profile_source: nil,
|
|
16
|
+
orchestrator: CompilerOrchestrator.new
|
|
17
|
+
)
|
|
18
|
+
orchestrator.compile(
|
|
19
|
+
source_path: source_path,
|
|
20
|
+
out_path: out_path,
|
|
21
|
+
sample_input: sample_input,
|
|
22
|
+
sample_input_resolver: sample_input_resolver,
|
|
23
|
+
runtime_smoke: runtime_smoke,
|
|
24
|
+
compiler_profile_source: compiler_profile_source
|
|
25
|
+
)
|
|
26
|
+
end
|
|
27
|
+
end
|
metadata
ADDED
|
@@ -0,0 +1,72 @@
|
|
|
1
|
+
--- !ruby/object:Gem::Specification
|
|
2
|
+
name: igniter_lang
|
|
3
|
+
version: !ruby/object:Gem::Version
|
|
4
|
+
version: 0.1.0.alpha.1
|
|
5
|
+
platform: ruby
|
|
6
|
+
authors:
|
|
7
|
+
- Alexander
|
|
8
|
+
bindir: bin
|
|
9
|
+
cert_chain: []
|
|
10
|
+
date: 1980-01-02 00:00:00.000000000 Z
|
|
11
|
+
dependencies: []
|
|
12
|
+
description: Igniter-Lang is an alpha prerelease compiler package providing the igc
|
|
13
|
+
CLI for bounded contract compilation in the Igniter contract-native language research
|
|
14
|
+
workspace. Not production-ready. Not stable. Branch/conditional if_expr and profile
|
|
15
|
+
discovery/defaulting/finalization are excluded from this release.
|
|
16
|
+
email:
|
|
17
|
+
- alexander.s.fokin@gmail.com
|
|
18
|
+
executables:
|
|
19
|
+
- igc
|
|
20
|
+
extensions: []
|
|
21
|
+
extra_rdoc_files: []
|
|
22
|
+
files:
|
|
23
|
+
- README.md
|
|
24
|
+
- RELEASE_NOTES.md
|
|
25
|
+
- bin/igc
|
|
26
|
+
- lib/igniter_lang.rb
|
|
27
|
+
- lib/igniter_lang/assembler.rb
|
|
28
|
+
- lib/igniter_lang/classifier.rb
|
|
29
|
+
- lib/igniter_lang/cli.rb
|
|
30
|
+
- lib/igniter_lang/compilation_report.rb
|
|
31
|
+
- lib/igniter_lang/compiler_orchestrator.rb
|
|
32
|
+
- lib/igniter_lang/compiler_profile_contract_validator.rb
|
|
33
|
+
- lib/igniter_lang/compiler_result.rb
|
|
34
|
+
- lib/igniter_lang/diagnostics.rb
|
|
35
|
+
- lib/igniter_lang/fragment_registry_compatibility_adapter.rb
|
|
36
|
+
- lib/igniter_lang/internal_profile_assembly.rb
|
|
37
|
+
- lib/igniter_lang/internal_profile_assembly_source_packet.rb
|
|
38
|
+
- lib/igniter_lang/internal_profile_static_data_carrier.rb
|
|
39
|
+
- lib/igniter_lang/oof_fragment_registry.rb
|
|
40
|
+
- lib/igniter_lang/parser.rb
|
|
41
|
+
- lib/igniter_lang/runtime_smoke.rb
|
|
42
|
+
- lib/igniter_lang/semanticir_emitter.rb
|
|
43
|
+
- lib/igniter_lang/temporal_access_runtime.rb
|
|
44
|
+
- lib/igniter_lang/temporal_executor.rb
|
|
45
|
+
- lib/igniter_lang/typechecker.rb
|
|
46
|
+
- lib/igniter_lang/version.rb
|
|
47
|
+
homepage: https://github.com/alexander-s-f/igniter
|
|
48
|
+
licenses:
|
|
49
|
+
- MIT
|
|
50
|
+
metadata:
|
|
51
|
+
rubygems_mfa_required: 'true'
|
|
52
|
+
homepage_uri: https://github.com/alexander-s-f/igniter
|
|
53
|
+
source_code_uri: https://github.com/alexander-s-f/igniter/tree/main/igniter-lang
|
|
54
|
+
rdoc_options: []
|
|
55
|
+
require_paths:
|
|
56
|
+
- lib
|
|
57
|
+
required_ruby_version: !ruby/object:Gem::Requirement
|
|
58
|
+
requirements:
|
|
59
|
+
- - ">="
|
|
60
|
+
- !ruby/object:Gem::Version
|
|
61
|
+
version: 3.1.0
|
|
62
|
+
required_rubygems_version: !ruby/object:Gem::Requirement
|
|
63
|
+
requirements:
|
|
64
|
+
- - ">="
|
|
65
|
+
- !ruby/object:Gem::Version
|
|
66
|
+
version: '0'
|
|
67
|
+
requirements: []
|
|
68
|
+
rubygems_version: 4.0.10
|
|
69
|
+
specification_version: 4
|
|
70
|
+
summary: Igniter-Lang alpha compiler package for the Igniter contract-native language
|
|
71
|
+
research workspace
|
|
72
|
+
test_files: []
|