Module: Archruby::Ruby

Defined in:

lib/archruby/ruby/parser.rb,
lib/archruby/ruby/std_library.rb,
lib/archruby/ruby/core_library.rb,
lib/archruby/ruby/var_propagation.rb,
lib/archruby/ruby/type_inference_dep.rb,
lib/archruby/ruby/type_inference/dependency_organizer.rb,
lib/archruby/ruby/type_inference/ruby/class_dependency.rb,
lib/archruby/ruby/type_inference/ruby/method_definition.rb,
lib/archruby/ruby/type_inference/type_inference_checker.rb,
lib/archruby/ruby/type_inference/ruby/process_method_body.rb,
lib/archruby/ruby/type_inference/ruby/process_method_params.rb,
lib/archruby/ruby/type_inference/ruby/parser_for_typeinference.rb,
lib/archruby/ruby/type_inference/ruby/process_method_arguments.rb,
lib/archruby/ruby/type_inference/ruby/internal_method_invocation.rb

Defined Under Namespace

Modules: TypeInference Classes: Parser, TypeInferenceDep, VarPropagation

Constant Summary

STD_LIB_NAME =

'ruby_str_lib'

STD_LIBRARY_CLASSES =

[
  'MAbbrev', 'Base64', 'Benchmark', 'BigDecimal', 'BigMath', 'Jacobian',
  'LUSolve', 'Newton', 'CGI', 'Coverage','CSV', 'Curses', 'FileViewer', 'Date',
  'DateTime', 'DBM', 'DBMError', 'SimpleDelegator', 'Delegator', 'Digest',
  'DL', 'ACL', 'DRb', 'E2MM', 'English', 'ERB', 'Etc', 'RbConfig', 'FileUtils',
  'Fcntl', 'Fiddle', 'FileUtils', 'Find', 'Forwardable', 'SingleForwardable',
  'GDBM', 'GDBMError', 'GDBMFatalError', 'GetoptLong', 'GServer', 'IPAddr', 'IRB', 'JSON',
  'Logger', 'Matrix', 'Vector', 'MiniTest', 'MakeMakefile', 'Monitor', 'MonitorMixin', 'Mutex_m',
  'Net', 'NKF', 'Kconv', 'Observable', 'OpenURI', 'URI', 'Open3', 'OpenSSL', 'OptionParser', 'OpenStruct',
  'Pathname', 'PP', 'PrettyPrint', 'Prime', 'PStore', 'Psych', 'PTY', 'Racc', 'Rake', 'RDoc',
  'Readline', 'Resolv', 'IPSocket', 'TCPSocket', 'UDPSocket', 'SOCKSSocket', 'REXML', 'Rinda',
  'Ripper', 'RSS', 'Gem', 'Scanf', 'SDBM', 'SDBMError', 'SecureRandom', 'Set', 'SortedSet', 'Shell',
  'Shellwords', 'Singleton', 'UNIXServer', 'UNIXSocket', 'TCPServer', 'BasicSocket', 'Socket',
  'StringIO', 'StringScanner', 'Sync', 'Syslog', 'Tempfile', 'ConditionVariable', 'Queue',
  'SizedQueue', 'ThWait', 'Timeout', 'TSort', 'WeakRef', 'WEBrick', 'XMLRPC', 'YAML',
  'Zlib', 'Iconv'
]

CORE_LIB_NAME =

'ruby_core_lib'

CORE_LIBRARY_CLASSES =

[
  'Array', 'Bignum', 'BasicObject', 'Object', 'Module', 'Class', 'Complex', 'Complex::compatible',
  'NilClass', 'Numeric', 'String', 'Float', 'Fiber', 'FiberError', 'Continuation', 'Dir', 'File',
  'Encoding', 'Enumerator', 'StopIteration', 'Enumerator::Lazy', 'Enumerator::Generator',
  'Enumerator::Yielder', 'Exception', 'SystemExit', 'fatal', 'SignalException', 'Interrupt',
  'StandardError', 'TypeError', 'ArgumentError', 'IndexError', 'KeyError', 'RangeError',
  'ScriptError', 'SyntaxError', 'LoadError', 'NotImplementedError', 'NameError', 'NoMethodError',
  'RuntimeError', 'SecurityError', 'NoMemoryError', 'EncodingError', 'SystemCallError',
  'Encoding::CompatibilityError', 'File::Stat', 'IO', 'ObjectSpace::WeakMap', 'Hash', 'ENV',
  'IOError', 'EOFError', 'ARGF', 'RubyVM', 'RubyVM::InstructionSequence', 'Math::DomainError',
  'ZeroDivisionError', 'FloatDomainError', 'Integer', 'Fixnum', 'Data', 'TrueClass', 'FalseClass',
  'Thread', 'Proc', 'LocalJumpError', 'SystemStackError', 'Method', 'UnboundMethod', 'Binding',
  'Process::Status', 'Random', 'Range', 'Rational', 'Rational::compatible', 'RegexpError',
  'Regexp', 'MatchData', 'Symbol', 'Struct', 'ThreadGroup', 'Mutex', 'ThreadError', 'Time',
  'Encoding::UndefinedConversionError', 'Encoding::InvalidByteSequenceError',
  'Encoding::ConverterNotFoundError', 'Encoding::Converter', 'RubyVM::Env', 'Thread::Backtrace',
  'Thread::Backtrace::Location', 'TracePoint', 'Comparable', 'Kernel', 'File::Constants',
  'Enumerable', 'Errno', 'FileTest', 'GC', 'ObjectSpace', 'GC::Profiler', 'IO::WaitReadable',
  'IO::WaitWritable', 'Marshal', 'Math', 'Process', 'Process::UID', 'Process::GID', 'Process::Sys',
  'Signal'
]