Module: Runar

Extended by:
Builtins
Defined in:
lib/runar/ec.rb,
lib/runar.rb,
lib/runar/dsl.rb,
lib/runar/base.rb,
lib/runar/ecdsa.rb,
lib/runar/types.rb,
lib/runar/builtins.rb,
lib/runar/rabin_sig.rb,
lib/runar/sdk/state.rb,
lib/runar/sdk/types.rb,
lib/runar/test_keys.rb,
lib/runar/sdk/signer.rb,
lib/runar/sdk/calling.rb,
lib/runar/sdk/codegen.rb,
lib/runar/sdk/contract.rb,
lib/runar/sdk/oppushtx.rb,
lib/runar/sdk/provider.rb,
lib/runar/compile_check.rb,
lib/runar/ec_primitives.rb,
lib/runar/sdk/deployment.rb,
lib/runar/sdk/local_signer.rb,
lib/runar/sdk/rpc_provider.rb,
lib/runar/sdk/anf_interpreter.rb,
lib/runar.rb

Overview

Define an EC mixin module that delegates to Runar::EC class methods, so contract instance methods can call ec_* directly.

Defined Under Namespace

Modules: Builtins, DSL, EC, ECDSA, ECMixin, ECPrimitives, RabinSig, SDK, TestKeys, Types Classes: SmartContract, StatefulSmartContract

Constant Summary

Constants included from Builtins

Builtins::SHA256_K, Builtins::TEST_MESSAGE_DIGEST

Class Method Summary collapse

Methods included from Builtins

assert, bin2num, blake3_compress, blake3_hash, bool, cat, check_multi_sig, check_preimage, check_sig, clamp, divmod, extract_amount, extract_hash_prevouts, extract_locktime, extract_outpoint, extract_output_hash, extract_sequence, extract_version, gcd, hash160, hash256, left, len, log2, mock_preimage, mock_pub_key, mock_sig, mul_div, num2bin, percent_of, pow, reverse_bytes, right, ripemd160, safediv, safemod, sha256, sha256_compress, sha256_finalize, sign, sqrt, substr, verify_rabin_sig, verify_slh_dsa_sha2_128f, verify_slh_dsa_sha2_128s, verify_slh_dsa_sha2_192f, verify_slh_dsa_sha2_192s, verify_slh_dsa_sha2_256f, verify_slh_dsa_sha2_256s, verify_wots, within

Class Method Details

.compile_check(source_or_path, file_name = nil) ⇒ Object 



12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
 
# File 'lib/runar/compile_check.rb', line 12

def self.compile_check(source_or_path, file_name = nil)
  if !source_or_path.include?("\n") && File.file?(source_or_path)
    source = File.read(source_or_path)
    file_name ||= source_or_path
  else
    source = source_or_path
    file_name ||= 'contract.runar.rb'
  end

  begin
    require 'runar_compiler'
  rescue LoadError
    raise LoadError,
          'compile_check requires the runar_compiler gem. ' \
          "Install it with: gem install runar_compiler, or add gem 'runar_compiler' to your Gemfile"
  end

  # Pass 1: Parse
  parse_result = RunarCompiler.send(:_parse_source, source, file_name)
  unless parse_result.errors.empty?
    raise "parse errors in #{file_name}: #{parse_result.error_strings.join('; ')}"
  end
  raise "no contract found in #{file_name}" if parse_result.contract.nil?

  # Pass 2: Validate
  val_result = RunarCompiler.send(:_validate, parse_result.contract)
  unless val_result.errors.empty?
    raise "validation errors in #{file_name}: #{val_result.error_strings.join('; ')}"
  end

  # Pass 3: Type check
  tc_result = RunarCompiler.send(:_type_check, parse_result.contract)
  unless tc_result.errors.empty?
    raise "type check errors in #{file_name}: #{tc_result.error_strings.join('; ')}"
  end

  true
end