Table of Contents - adsl-0.1.0 Documentation
Pages
Classes and Modules
- ADSL
- ADSL::DS
- ADSL::DS::DSAction
- ADSL::DS::DSAllOf
- ADSL::DS::DSAnd
- ADSL::DS::DSAssignment
- ADSL::DS::DSBlock
- ADSL::DS::DSBoolean
- ADSL::DS::DSClass
- ADSL::DS::DSCreateObj
- ADSL::DS::DSCreateObjset
- ADSL::DS::DSCreateTup
- ADSL::DS::DSDeleteObj
- ADSL::DS::DSDeleteTup
- ADSL::DS::DSDereference
- ADSL::DS::DSEither
- ADSL::DS::DSEitherLambdaObjset
- ADSL::DS::DSEmpty
- ADSL::DS::DSEmptyObjset
- ADSL::DS::DSEqual
- ADSL::DS::DSEquiv
- ADSL::DS::DSExists
- ADSL::DS::DSFlatForEach
- ADSL::DS::DSForAll
- ADSL::DS::DSForEach
- ADSL::DS::DSForEachCommon
- ADSL::DS::DSForEachIteratorObjset
- ADSL::DS::DSForEachPostLambdaObjset
- ADSL::DS::DSForEachPreLambdaObjset
- ADSL::DS::DSImplies
- ADSL::DS::DSIn
- ADSL::DS::DSInvariant
- ADSL::DS::DSNode
- ADSL::DS::DSNot
- ADSL::DS::DSOneOf
- ADSL::DS::DSOneOfObjset
- ADSL::DS::DSOr
- ADSL::DS::DSRelation
- ADSL::DS::DSSpec
- ADSL::DS::DSSubset
- ADSL::DS::DSUnion
- ADSL::DS::DSVariable
- ADSL::Extract
- ADSL::Extract::Instrumenter
- ADSL::Extract::Rails
- ADSL::Extract::Rails::ActionBlockBuilder
- ADSL::Extract::Rails::ActionInstrumenter
- ADSL::Extract::Rails::ActionRunner
- ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ADSL::Extract::Rails::CallbackChainSimulator
- ADSL::Extract::Rails::InvariantExtractor
- ADSL::Extract::Rails::InvariantInstrumenter
- ADSL::Extract::Rails::MetaUnknown
- ADSL::Extract::Rails::PartiallyUnknownHash
- ADSL::Extract::Rails::RailsExtractor
- ADSL::Extract::Rails::RailsInstrumentationTestCase
- ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- ADSL::FOL
- ADSL::FOL::And
- ADSL::FOL::Equal
- ADSL::FOL::Equiv
- ADSL::FOL::Exists
- ADSL::FOL::ForAll
- ADSL::FOL::IfThenElse
- ADSL::FOL::IfThenElseEq
- ADSL::FOL::Implies
- ADSL::FOL::Not
- ADSL::FOL::OneOf
- ADSL::FOL::Or
- ADSL::FOL::PairwiseEqual
- ADSL::Parser
- ADSL::Parser::ADSLError
- ADSL::Parser::ADSLParser
- ADSL::Parser::ADSLParser::ScanError
- ADSL::Parser::ASTAction
- ADSL::Parser::ASTAllOf
- ADSL::Parser::ASTAnd
- ADSL::Parser::ASTAssignment
- ADSL::Parser::ASTBlock
- ADSL::Parser::ASTBoolean
- ADSL::Parser::ASTClass
- ADSL::Parser::ASTCreateObjset
- ADSL::Parser::ASTCreateTup
- ADSL::Parser::ASTDeclareVar
- ADSL::Parser::ASTDeleteObj
- ADSL::Parser::ASTDeleteTup
- ADSL::Parser::ASTDereference
- ADSL::Parser::ASTDereferenceCreate
- ADSL::Parser::ASTDummyObjset
- ADSL::Parser::ASTDummyStmt
- ADSL::Parser::ASTEither
- ADSL::Parser::ASTEmpty
- ADSL::Parser::ASTEmptyObjset
- ADSL::Parser::ASTEqual
- ADSL::Parser::ASTEquiv
- ADSL::Parser::ASTExists
- ADSL::Parser::ASTForAll
- ADSL::Parser::ASTForEach
- ADSL::Parser::ASTIdent
- ADSL::Parser::ASTImplies
- ADSL::Parser::ASTIn
- ADSL::Parser::ASTInvariant
- ADSL::Parser::ASTNode
- ADSL::Parser::ASTNot
- ADSL::Parser::ASTObjsetStmt
- ADSL::Parser::ASTOneOf
- ADSL::Parser::ASTOneOfObjset
- ADSL::Parser::ASTOr
- ADSL::Parser::ASTRelation
- ADSL::Parser::ASTSetTup
- ADSL::Parser::ASTSpec
- ADSL::Parser::ASTSubset
- ADSL::Parser::ASTTypecheckResolveContext
- ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- ADSL::Parser::ASTUnion
- ADSL::Parser::ASTVariable
- ADSL::Railtie
- ADSL::Spass
- ADSL::Spass::Bin
- ADSL::Spass::SpassTranslator
- ADSL::Spass::SpassTranslator::ChainedContext
- ADSL::Spass::SpassTranslator::ContextCommon
- ADSL::Spass::SpassTranslator::FlatContext
- ADSL::Spass::SpassTranslator::Predicate
- ADSL::Spass::SpassTranslator::Translation
- ADSL::Spass::Util
- ADSL::Util
- ADSL::Util::CSVHashFormatter
- ADSL::Verification
- ADSL::Verification::FormulaBuilder
- ADSL::Verification::FormulaGenerators
- ADSL::Verification::InstrumentationFilter
- ADSL::Verification::InstrumentationFilterGenerators
- ADSL::Verification::Invariant
- ADSL::Verification::RailsVerification
- ADSL::Verification::Utils
- ADSL::Verification::VerificationCase
- ADSLRailsTestApplication
- Array
- FalseClass
- Fixnum
- Kernel
- Module
- NilClass
- Object
- Sexp
- String
- Symbol
- Test
- Test::Unit
- Test::Unit::TestCase
- Time
- TrueClass
Methods
- ::adsl_ast_class_name — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::all — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::ar_class — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::average — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::build — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::calculate — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::common_supertype — ADSL::DS::DSClass
- ::context_vars_that_differ — ADSL::Parser::ASTTypecheckResolveContext
- ::count — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::except — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::extract_stmt_from_expr — ADSL::Extract::Rails::ActionInstrumenter
- ::find — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::find — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- ::get_common_context — ADSL::Spass::SpassTranslator::ContextCommon
- ::get_instance — ADSL::Extract::Instrumenter
- ::instrumented — ADSL::Extract::Instrumenter
- ::is_formula? — ADSL::Parser::ASTNode
- ::is_objset? — ADSL::Parser::ASTNode
- ::is_statement? — ADSL::Parser::ASTNode
- ::maximum — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::method_missing — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::minimum — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::my — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::new — ADSL::Extract::Instrumenter
- ::new — ADSL::Extract::Rails::ActionBlockBuilder
- ::new — ADSL::Extract::Rails::ActionInstrumenter
- ::new — ADSL::Extract::Rails::ActionRunner
- ::new — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::new — ADSL::Extract::Rails::InvariantExtractor
- ::new — ADSL::Extract::Rails::InvariantInstrumenter
- ::new — ADSL::Extract::Rails::PartiallyUnknownHash
- ::new — ADSL::Extract::Rails::RailsExtractor
- ::new — ADSL::FOL::Not
- ::new — ADSL::FOL::And
- ::new — ADSL::FOL::Or
- ::new — ADSL::FOL::ForAll
- ::new — ADSL::FOL::Exists
- ::new — ADSL::FOL::Equal
- ::new — ADSL::FOL::Equiv
- ::new — ADSL::FOL::Implies
- ::new — ADSL::FOL::OneOf
- ::new — ADSL::FOL::IfThenElse
- ::new — ADSL::FOL::IfThenElseEq
- ::new — ADSL::FOL::PairwiseEqual
- ::new — ADSL::Parser::ASTTypecheckResolveContext
- ::new — ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- ::new — ADSL::Spass::SpassTranslator::Predicate
- ::new — ADSL::Spass::SpassTranslator::ContextCommon
- ::new — ADSL::Spass::SpassTranslator::FlatContext
- ::new — ADSL::Spass::SpassTranslator::ChainedContext
- ::new — ADSL::Spass::SpassTranslator::Translation
- ::new — ADSL::Util::CSVHashFormatter
- ::new — ADSL::Verification::FormulaBuilder
- ::new — ADSL::Verification::InstrumentationFilter
- ::new — ADSL::Verification::Invariant
- ::node_type — ADSL::Parser::ASTNode
- ::only — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::order — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::pluck — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::remove_by_from_method — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::respond_to? — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::scope_attributes? — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::scope_for_create — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::scoped — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::scoped= — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::sum — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- ::time_execution — Time
- ::where — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #!= — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #+ — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #<< — ADSL::Extract::Rails::ActionBlockBuilder
- #<< — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #<< — ADSL::Util::CSVHashFormatter
- #<= — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #== — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #== — ADSL::Parser::ASTNode
- #[] — ADSL::DS::DSClass
- #[] — ADSL::DS::DSRelation
- #[] — ADSL::DS::DSVariable
- #[] — ADSL::Extract::Rails::PartiallyUnknownHash
- #[] — ADSL::Spass::SpassTranslator::Predicate
- #[] — ADSL::Verification::FormulaGenerators
- #[]= — ADSL::Extract::Rails::PartiallyUnknownHash
- #_next_token — ADSL::Parser::ADSLParser
- #_reduce_none — ADSL::Parser::ADSLParser
- #_reserve_names — ADSL::Spass::SpassTranslator::Translation
- #abb — ADSL::Extract::Rails::ActionInstrumenter
- #action — ADSL::Parser::ADSLParser
- #action_name — ADSL::DS::DSVariable
- #action_name_for — ADSL::Extract::Rails::RailsExtractor
- #action_of — ADSL::Extract::Rails::RailsExtractor
- #action_to_adsl_ast — ADSL::Extract::Rails::RailsExtractor
- #add_column — ADSL::Util::CSVHashFormatter
- #add_row — ADSL::Util::CSVHashFormatter
- #adsl_assert — Test::Unit::TestCase
- #adsl_ast — ADSL::Extract::Rails::ActionBlockBuilder
- #adsl_ast — NilClass
- #adsl_ast — ADSL::Extract::Rails::MetaUnknown
- #adsl_ast — ADSL::Extract::Rails::RailsExtractor
- #adsl_ast — TrueClass
- #adsl_ast — FalseClass
- #adsl_ast — ADSL::Parser::ASTNode
- #adsl_ast — ADSL::Verification::FormulaBuilder
- #adsl_ast — ADSL::Verification::Invariant
- #adsl_ast_size — ADSL::Parser::ASTNode
- #adsl_ast_size — ADSL::Parser::ASTSpec
- #adsl_indent — String
- #adsl_indent — Array
- #adsl_translate — ADSL::Verification::RailsVerification
- #after — Object
- #after_filter_action — Object
- #after_nothing — Object
- #all — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #all_routes — ADSL::Extract::Rails::RailsExtractor
- #all_stmts_so_far — ADSL::Extract::Rails::ActionBlockBuilder
- #allow_instrumentation? — ADSL::Verification::InstrumentationFilter
- #and — ADSL::Verification::FormulaGenerators
- #append_stmt — ADSL::Extract::Rails::ActionBlockBuilder
- #applies_to? — ADSL::Verification::InstrumentationFilter
- #apply_finder_options — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #ar_class_names — ADSL::Extract::Rails::RailsInstrumentationTestCase
- #ar_classes — ADSL::Extract::Rails::RailsInstrumentationTestCase
- #assert_set_equal — Test::Unit::TestCase
- #authorize! — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #before — Object
- #before — ADSL::Spass::SpassTranslator::ContextCommon
- #before2 — Object
- #before_filter_action — Object
- #before_nothing — Object
- #binary_op — ADSL::Verification::FormulaGenerators
- #binary_op_with_any_number_of_params — ADSL::Verification::FormulaGenerators
- #blacklist — ADSL::Verification::InstrumentationFilterGenerators
- #block_replace — Sexp
- #block_replace — ADSL::Parser::ASTNode
- #branch_choice — ADSL::Extract::Rails::ActionBlockBuilder
- #build — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #callbacks — ADSL::Extract::Rails::ActionRunner
- #callbacks — ADSL::Extract::Rails::RailsExtractor
- #class_defined? — Test::Unit::TestCase
- #classname_for_classname — ADSL::Verification::Utils
- #clone — ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- #column_type — ADSL::Util::CSVHashFormatter
- #common_return_value — ADSL::Extract::Rails::ActionBlockBuilder
- #common_supertype_of_objset_arrays — ADSL::Extract::Rails::ActionBlockBuilder
- #common_supertype_of_objsets — ADSL::Extract::Rails::ActionBlockBuilder
- #container_for — Module
- #controller_of — ADSL::Extract::Rails::RailsExtractor
- #convert_root_defs_into_defn — ADSL::Extract::Instrumenter
- #count — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #count_by_group — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #create — Object
- #create_conjecture — ADSL::Spass::SpassTranslator::Translation
- #create_context — ADSL::Spass::SpassTranslator::Translation
- #create_destroys — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #create_formula — ADSL::Spass::SpassTranslator::Translation
- #create_function — ADSL::Spass::SpassTranslator::Translation
- #create_iteration_formulae — ADSL::DS::DSForEach
- #create_iteration_formulae — ADSL::DS::DSFlatForEach
- #create_locals — ADSL::Extract::Rails::ActionInstrumenter
- #create_predicate — ADSL::Spass::SpassTranslator::Translation
- #create_rails_extractor — ADSL::Extract::Rails::RailsInstrumentationTestCase
- #create_state — ADSL::Spass::SpassTranslator::Translation
- #default_activerecord_models — ADSL::Extract::Rails::RailsExtractor
- #default_options — ADSL::Spass::Bin
- #define_predicate — ADSL::DS::DSVariable
- #define_var — ADSL::Parser::ASTTypecheckResolveContext
- #destroy — Object
- #do_raise — ADSL::Extract::Rails::ActionBlockBuilder
- #do_return — ADSL::Extract::Rails::ActionBlockBuilder
- #dup — NilClass
- #dup — Symbol
- #dup — TrueClass
- #dup — FalseClass
- #dup — ADSL::Parser::ASTNode
- #dup — ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- #dup — Fixnum
- #dyslexicize — String
- #each — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #edit — Object
- #empty? — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #entity_class_reads — ADSL::DS::DSAllOf
- #entity_class_writes — ADSL::DS::DSCreateObj
- #entity_class_writes — ADSL::DS::DSDeleteObj
- #eql? — ADSL::Parser::ASTNode
- #equiv — ADSL::Verification::FormulaGenerators
- #escape_str — ADSL::Util::CSVHashFormatter
- #exec_spass — ADSL::Spass::Bin
- #exec_within — ADSL::Extract::Instrumenter
- #execute_instrumented — ADSL::Extract::Instrumenter
- #exists — ADSL::Verification::FormulaGenerators
- #explore_all_choices — ADSL::Extract::Rails::ActionBlockBuilder
- #extract — ADSL::Extract::Rails::InvariantExtractor
- #extract_actions_param_from_args — ADSL::Railtie
- #extract_arg — ADSL::Railtie
- #extract_ast — ADSL::Verification::RailsVerification
- #false — ADSL::Verification::FormulaGenerators
- #filter_by_name — ADSL::Spass::Bin
- #find_relation — ADSL::Parser::ASTTypecheckResolveContext
- #find_shallowest — Sexp
- #fire_read_event — ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- #fire_write_event — ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- #forall — ADSL::Verification::FormulaGenerators
- #gather_adsl_asts — ADSL::Verification::FormulaBuilder
- #gen_formula_for_unique_arg — ADSL::Spass::SpassTranslator::Translation
- #generate_class — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #get_pred_name — ADSL::Spass::SpassTranslator::Translation
- #halting_status_of — ADSL::Extract::Rails::CallbackChainSimulator
- #handle_binary_operator — ADSL::Verification::FormulaBuilder
- #handle_quantifier — ADSL::Verification::FormulaGenerators
- #handle_unary_operator — ADSL::Verification::FormulaBuilder
- #has_more_executions? — ADSL::Extract::Rails::ActionBlockBuilder
- #hash — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #hash — ADSL::Parser::ASTNode
- #id — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #implies — ADSL::Verification::FormulaGenerators
- #in_formula_builder — ADSL::Verification::FormulaGenerators
- #in_stack_frame — ADSL::Parser::ASTTypecheckResolveContext
- #in_stmt_frame — ADSL::Extract::Rails::ActionBlockBuilder
- #in_temp_file — Test::Unit::TestCase
- #include? — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #included_already? — ADSL::Extract::Rails::ActionBlockBuilder
- #includes — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #increment_branch_choice — ADSL::Extract::Rails::ActionBlockBuilder
- #increment_suffix — String
- #index — Object
- #infer_classname_from_varname — ADSL::Verification::Utils
- #infer_column_types — ADSL::Util::CSVHashFormatter
- #initialize_copy — ADSL::Parser::ASTTypecheckResolveContext
- #initialize_metaclasses — ADSL::Extract::Rails::RailsInstrumentationTestCase
- #initialize_test_context — Object
- #ins_branch_choice — Kernel
- #ins_call — Kernel
- #ins_do_raise — Kernel
- #ins_do_return — Kernel
- #ins_explore_all — Kernel
- #ins_if — Kernel
- #ins_mark_render_statement — Kernel
- #ins_multi_assignment — Kernel
- #ins_pop_frame — Kernel
- #ins_push_frame — Kernel
- #ins_stmt — Kernel
- #instrument — ADSL::Extract::Instrumenter
- #instrument_and_execute_source — ADSL::Extract::Rails::InvariantInstrumenter
- #instrument_gem_authlogic — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #instrument_gem_cancan — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #instrument_gem_devise — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #instrument_gem_ransack — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #instrument_gems — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #instrument_sexp — ADSL::Extract::Instrumenter
- #instrument_string — ADSL::Extract::Instrumenter
- #instrumentation_filters — ADSL::Verification::InstrumentationFilterGenerators
- #interrupt_callback_chain_on_render — ADSL::Extract::Rails::CallbackChainSimulator
- #invariant — ADSL::Extract::Rails::InvariantExtractor
- #invariant_name — ADSL::DS::DSVariable
- #length — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #list_creations — ADSL::Parser::ASTForEach
- #list_entity_classes_read — ADSL::DS::DSNode
- #list_entity_classes_read — ADSL::Parser::ASTAllOf
- #list_entity_classes_written_to — ADSL::DS::DSNode
- #list_entity_classes_written_to — ADSL::Parser::ASTEither
- #load_file — ADSL::Parser::ADSLParser
- #load_in_context — ADSL::Extract::Rails::InvariantExtractor
- #load_ransack_search — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #lookup_const — Module
- #lookup_or_create_class — Module
- #lookup_or_create_module — Module
- #lookup_var — ADSL::Parser::ASTTypecheckResolveContext
- #make_returns_explicit — ADSL::Extract::Rails::ActionInstrumenter
- #map — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #mark_sexp_instrumented — ADSL::Extract::Instrumenter
- #may_return_or_raise? — Sexp
- #merge — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #method_locals — ADSL::Extract::Instrumenter
- #method_missing — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #method_missing — ADSL::Extract::Rails::MetaUnknown
- #method_missing — ADSL::Extract::Rails::PartiallyUnknownHash
- #migrate_state_spass — ADSL::DS::DSBlock
- #migrate_state_spass — ADSL::DS::DSAssignment
- #migrate_state_spass — ADSL::DS::DSCreateObj
- #migrate_state_spass — ADSL::DS::DSCreateTup
- #migrate_state_spass — ADSL::DS::DSDeleteObj
- #migrate_state_spass — ADSL::DS::DSDeleteTup
- #migrate_state_spass — ADSL::DS::DSEither
- #migrate_state_spass — ADSL::DS::DSForEachCommon
- #neg — ADSL::Verification::FormulaGenerators
- #new — Object
- #next_token — ADSL::Parser::ADSLParser
- #not — ADSL::Verification::FormulaGenerators
- #nothing — Object
- #objset_has_side_effects? — ADSL::Parser::ASTNode
- #objset_has_side_effects? — ADSL::Parser::ASTCreateObjset
- #objset_has_side_effects? — ADSL::Parser::ASTSubset
- #objset_has_side_effects? — ADSL::Parser::ASTOneOf
- #objset_has_side_effects? — ADSL::Parser::ASTUnion
- #objset_has_side_effects? — ADSL::Parser::ASTOneOfObjset
- #objset_has_side_effects? — ADSL::Parser::ASTDereference
- #objset_has_side_effects? — ADSL::Parser::ASTDereferenceCreate
- #on_var_read — ADSL::Parser::ASTTypecheckResolveContext
- #on_var_read — ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- #on_var_write — ADSL::Parser::ASTTypecheckResolveContext
- #on_var_write — ADSL::Parser::ASTTypecheckResolveContext::ASTStackFrame
- #optimize — Array
- #optimize — ADSL::Parser::ASTNode
- #optimize — ADSL::Parser::ASTAction
- #optimize — ADSL::Parser::ASTBlock
- #optimize — ADSL::Parser::ASTObjsetStmt
- #optimize — ADSL::Parser::ASTForEach
- #optimize — ADSL::Parser::ASTEither
- #optimize — ADSL::Parser::ASTSubset
- #optimize — ADSL::Parser::ASTOneOf
- #optimize — ADSL::Parser::ASTUnion
- #optimize — ADSL::Parser::ASTOneOfObjset
- #or — ADSL::Verification::FormulaGenerators
- #order — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #output — ADSL::Spass::Bin
- #p_names — ADSL::Spass::SpassTranslator::ContextCommon
- #pack_stats — ADSL::Spass::Bin
- #parent_classname — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #parent_module — Module
- #pop_formula_frame — ADSL::Spass::SpassTranslator::Translation
- #pop_frame — ADSL::Extract::Rails::ActionBlockBuilder
- #pop_frame — ADSL::Parser::ASTTypecheckResolveContext
- #pre_optimize_adsl_ast_size — ADSL::Parser::ASTAction
- #preorder_traverse — ADSL::Parser::ASTNode
- #prepare — ADSL::DS::DSAction
- #prepare — ADSL::DS::DSBlock
- #prepare — ADSL::DS::DSAssignment
- #prepare — ADSL::DS::DSCreateObj
- #prepare — ADSL::DS::DSCreateTup
- #prepare — ADSL::DS::DSDeleteObj
- #prepare — ADSL::DS::DSDeleteTup
- #prepare — ADSL::DS::DSEither
- #prepare — ADSL::DS::DSForEach
- #prepare — ADSL::DS::DSFlatForEach
- #prepare_action — ADSL::DS::DSCreateObjset
- #prepare_action — ADSL::DS::DSEitherLambdaObjset
- #prepare_action — ADSL::DS::DSForEachIteratorObjset
- #prepare_action — ADSL::DS::DSForEachPreLambdaObjset
- #prepare_action — ADSL::DS::DSVariable
- #prepare_action — ADSL::DS::DSAllOf
- #prepare_action — ADSL::DS::DSSubset
- #prepare_action — ADSL::DS::DSUnion
- #prepare_action — ADSL::DS::DSOneOfObjset
- #prepare_action — ADSL::DS::DSOneOf
- #prepare_action — ADSL::DS::DSDereference
- #prepare_action — ADSL::DS::DSEmptyObjset
- #prepare_for_csv — ADSL::Util::CSVHashFormatter
- #prepare_instrumentation — ADSL::Extract::Rails::RailsExtractor
- #prepare_with_context — ADSL::DS::DSForEachCommon
- #prepend_global_variables_by_signatures — ADSL::Parser::ASTAction
- #prev_abb — ADSL::Extract::Rails::ActionInstrumenter
- #previous_locals — ADSL::Extract::Instrumenter
- #process_race — Kernel
- #push_formula_frame — ADSL::Spass::SpassTranslator::Translation
- #push_frame — ADSL::Extract::Rails::ActionBlockBuilder
- #push_frame — ADSL::Parser::ASTTypecheckResolveContext
- #redefine_var — ADSL::Parser::ASTTypecheckResolveContext
- #reflection_to_adsl_ast — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #reflections — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #remove_empty_actions — ADSL::Spass::Bin
- #render — Object
- #reorder — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #replace — ADSL::DS::DSNode
- #replace — ADSL::Extract::Instrumenter
- #replace_conjecture — ADSL::Spass::SpassTranslator
- #replace_conjecture — ADSL::Spass::Util
- #replace_method — Object
- #replace_var — ADSL::DS::DSNode
- #request_method_for — ADSL::Extract::Rails::RailsExtractor
- #reserve_names — ADSL::Spass::SpassTranslator::Translation
- #reset — ADSL::Extract::Rails::ActionBlockBuilder
- #resolve_action_objset — ADSL::DS::DSCreateObjset
- #resolve_action_objset — ADSL::DS::DSEitherLambdaObjset
- #resolve_action_objset — ADSL::DS::DSForEachIteratorObjset
- #resolve_action_objset — ADSL::DS::DSForEachPreLambdaObjset
- #resolve_action_objset — ADSL::DS::DSVariable
- #resolve_action_objset — ADSL::DS::DSAllOf
- #resolve_action_objset — ADSL::DS::DSSubset
- #resolve_action_objset — ADSL::DS::DSUnion
- #resolve_action_objset — ADSL::DS::DSOneOfObjset
- #resolve_action_objset — ADSL::DS::DSOneOf
- #resolve_action_objset — ADSL::DS::DSDereference
- #resolve_action_objset — ADSL::DS::DSEmptyObjset
- #resolve_invariant_formula — ADSL::DS::DSBoolean
- #resolve_invariant_formula — ADSL::DS::DSForAll
- #resolve_invariant_formula — ADSL::DS::DSExists
- #resolve_invariant_formula — ADSL::DS::DSIn
- #resolve_invariant_formula — ADSL::DS::DSEmpty
- #resolve_invariant_formula — ADSL::DS::DSNot
- #resolve_invariant_formula — ADSL::DS::DSAnd
- #resolve_invariant_formula — ADSL::DS::DSOr
- #resolve_invariant_formula — ADSL::DS::DSImplies
- #resolve_invariant_formula — ADSL::DS::DSEquiv
- #resolve_invariant_formula — ADSL::DS::DSEqual
- #resolve_invariant_objset — ADSL::DS::DSVariable
- #resolve_invariant_objset — ADSL::DS::DSAllOf
- #resolve_invariant_objset — ADSL::DS::DSSubset
- #resolve_invariant_objset — ADSL::DS::DSUnion
- #resolve_invariant_objset — ADSL::DS::DSDereference
- #resolve_invariant_objset — ADSL::DS::DSEmptyObjset
- #resolve_params — String
- #resolve_spass — String
- #resolve_spass — Symbol
- #resolve_spass — TrueClass
- #resolve_spass — FalseClass
- #resolve_spass — ADSL::FOL::Not
- #resolve_spass — ADSL::FOL::And
- #resolve_spass — ADSL::FOL::Or
- #resolve_spass — ADSL::FOL::ForAll
- #resolve_spass — ADSL::FOL::Exists
- #resolve_spass — ADSL::FOL::Equal
- #resolve_spass — ADSL::FOL::Equiv
- #resolve_spass — ADSL::FOL::Implies
- #resolve_spass — ADSL::FOL::OneOf
- #resolve_spass — ADSL::FOL::IfThenElse
- #resolve_spass — ADSL::FOL::IfThenElseEq
- #resolve_spass — ADSL::FOL::PairwiseEqual
- #respond_to — Object
- #respond_to? — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #respond_to? — ADSL::Extract::Rails::MetaUnknown
- #root_locals — ADSL::Extract::Instrumenter
- #root_lvl_adsl_ast — ADSL::Extract::Rails::ActionBlockBuilder
- #root_paths_to_stmts — ADSL::Extract::Rails::ActionRunner
- #route_for — ADSL::Extract::Rails::RailsExtractor
- #ruby_parser — ADSL::Extract::Instrumenter
- #run_action — ADSL::Extract::Rails::ActionRunner
- #run_after_filter — ADSL::Extract::Rails::ActionRunner
- #run_around_filter — ADSL::Extract::Rails::ActionRunner
- #run_before_filter — ADSL::Extract::Rails::ActionRunner
- #same_level_before_formula — ADSL::Spass::SpassTranslator::ContextCommon
- #same_level_before_formula — ADSL::Spass::SpassTranslator::FlatContext
- #same_level_before_formula — ADSL::Spass::SpassTranslator::ChainedContext
- #save — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #save! — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #scan — ADSL::Parser::ADSLParser
- #scan_file — ADSL::Parser::ADSLParser
- #scan_setup — ADSL::Parser::ADSLParser
- #scan_str — ADSL::Parser::ADSLParser
- #scope_for_create — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #search — ADSL::Extract::Rails::RailsSpecialGemInstrumentation
- #select_reject — Array
- #set_to — Array
- #setup — ADSL::Extract::Rails::RailsInstrumentationTestCase
- #sexp_instrumented? — ADSL::Extract::Instrumenter
- #should_instrument? — ADSL::Extract::Instrumenter
- #should_instrument? — ADSL::Extract::Rails::ActionInstrumenter
- #should_instrument? — ADSL::Extract::Rails::InvariantInstrumenter
- #show — Object
- #size — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #sort! — ADSL::Util::CSVHashFormatter
- #spass_assert — Test::Unit::TestCase
- #spass_list_of — ADSL::Spass::SpassTranslator::Translation
- #spass_wrap — ADSL::Spass::SpassTranslator::Translation
- #split_by_zero_level_comma — String
- #split_into_callbacks — ADSL::Extract::Rails::CallbackChainSimulator
- #split_into_paths_that_will_or_will_not_halt — ADSL::Extract::Rails::CallbackChainSimulator
- #statements — ADSL::DS::DSAction
- #superclass_of? — ADSL::DS::DSClass
- #t — ADSL::Verification::Utils
- #take — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #teardown — ADSL::Extract::Rails::RailsInstrumentationTestCase
- #to_adsl — ADSL::Parser::ASTDummyObjset
- #to_adsl — ADSL::Parser::ASTDummyStmt
- #to_adsl — ADSL::Parser::ASTSpec
- #to_adsl — ADSL::Parser::ASTClass
- #to_adsl — ADSL::Parser::ASTRelation
- #to_adsl — ADSL::Parser::ASTAction
- #to_adsl — ADSL::Parser::ASTBlock
- #to_adsl — ADSL::Parser::ASTAssignment
- #to_adsl — ADSL::Parser::ASTDeclareVar
- #to_adsl — ADSL::Parser::ASTObjsetStmt
- #to_adsl — ADSL::Parser::ASTCreateObjset
- #to_adsl — ADSL::Parser::ASTForEach
- #to_adsl — ADSL::Parser::ASTEither
- #to_adsl — ADSL::Parser::ASTDeleteObj
- #to_adsl — ADSL::Parser::ASTCreateTup
- #to_adsl — ADSL::Parser::ASTDeleteTup
- #to_adsl — ADSL::Parser::ASTSetTup
- #to_adsl — ADSL::Parser::ASTAllOf
- #to_adsl — ADSL::Parser::ASTSubset
- #to_adsl — ADSL::Parser::ASTOneOf
- #to_adsl — ADSL::Parser::ASTUnion
- #to_adsl — ADSL::Parser::ASTOneOfObjset
- #to_adsl — ADSL::Parser::ASTVariable
- #to_adsl — ADSL::Parser::ASTDereference
- #to_adsl — ADSL::Parser::ASTDereferenceCreate
- #to_adsl — ADSL::Parser::ASTEmptyObjset
- #to_adsl — ADSL::Parser::ASTInvariant
- #to_adsl — ADSL::Parser::ASTBoolean
- #to_adsl — ADSL::Parser::ASTForAll
- #to_adsl — ADSL::Parser::ASTExists
- #to_adsl — ADSL::Parser::ASTNot
- #to_adsl — ADSL::Parser::ASTAnd
- #to_adsl — ADSL::Parser::ASTOr
- #to_adsl — ADSL::Parser::ASTEquiv
- #to_adsl — ADSL::Parser::ASTImplies
- #to_adsl — ADSL::Parser::ASTEqual
- #to_adsl — ADSL::Parser::ASTIn
- #to_adsl — ADSL::Parser::ASTEmpty
- #to_s — ADSL::DS::DSClass
- #to_s — ADSL::DS::DSRelation
- #to_s — ADSL::Extract::Rails::MetaUnknown
- #to_s — ADSL::Util::CSVHashFormatter
- #to_sexp — Module
- #to_spass_string — String
- #to_spass_string — Symbol
- #to_spass_string — ADSL::Spass::SpassTranslator::Translation
- #translate — ADSL::DS::DSClass
- #translate — ADSL::DS::DSRelation
- #translate — ADSL::DS::DSAction
- #translate_action — ADSL::DS::DSSpec
- #true — ADSL::Verification::FormulaGenerators
- #type — ADSL::DS::DSCreateObjset
- #type — ADSL::DS::DSForEachIteratorObjset
- #type — ADSL::DS::DSAllOf
- #type — ADSL::DS::DSSubset
- #type — ADSL::DS::DSUnion
- #type — ADSL::DS::DSOneOfObjset
- #type — ADSL::DS::DSOneOf
- #type — ADSL::DS::DSDereference
- #type — ADSL::DS::DSEmptyObjset
- #type — ADSL::DS::DSBoolean
- #type — ADSL::DS::DSForAll
- #type — ADSL::DS::DSExists
- #type — ADSL::DS::DSIn
- #type — ADSL::DS::DSEmpty
- #type — ADSL::DS::DSNot
- #type — ADSL::DS::DSAnd
- #type — ADSL::DS::DSOr
- #type — ADSL::DS::DSImplies
- #type — ADSL::DS::DSEquiv
- #type — ADSL::DS::DSEqual
- #type_pred — ADSL::Spass::SpassTranslator::ContextCommon
- #typecheck_and_resolve — ADSL::DS::DSForEachIteratorObjset
- #typecheck_and_resolve — ADSL::Parser::ASTDummyObjset
- #typecheck_and_resolve — ADSL::Parser::ASTDummyStmt
- #typecheck_and_resolve — ADSL::Parser::ASTSpec
- #typecheck_and_resolve — ADSL::Parser::ASTClass
- #typecheck_and_resolve — ADSL::Parser::ASTAction
- #typecheck_and_resolve — ADSL::Parser::ASTBlock
- #typecheck_and_resolve — ADSL::Parser::ASTAssignment
- #typecheck_and_resolve — ADSL::Parser::ASTDeclareVar
- #typecheck_and_resolve — ADSL::Parser::ASTObjsetStmt
- #typecheck_and_resolve — ADSL::Parser::ASTCreateObjset
- #typecheck_and_resolve — ADSL::Parser::ASTForEach
- #typecheck_and_resolve — ADSL::Parser::ASTEither
- #typecheck_and_resolve — ADSL::Parser::ASTDeleteObj
- #typecheck_and_resolve — ADSL::Parser::ASTCreateTup
- #typecheck_and_resolve — ADSL::Parser::ASTDeleteTup
- #typecheck_and_resolve — ADSL::Parser::ASTSetTup
- #typecheck_and_resolve — ADSL::Parser::ASTAllOf
- #typecheck_and_resolve — ADSL::Parser::ASTSubset
- #typecheck_and_resolve — ADSL::Parser::ASTOneOf
- #typecheck_and_resolve — ADSL::Parser::ASTUnion
- #typecheck_and_resolve — ADSL::Parser::ASTOneOfObjset
- #typecheck_and_resolve — ADSL::Parser::ASTVariable
- #typecheck_and_resolve — ADSL::Parser::ASTDereference
- #typecheck_and_resolve — ADSL::Parser::ASTDereferenceCreate
- #typecheck_and_resolve — ADSL::Parser::ASTEmptyObjset
- #typecheck_and_resolve — ADSL::Parser::ASTInvariant
- #typecheck_and_resolve — ADSL::Parser::ASTBoolean
- #typecheck_and_resolve — ADSL::Parser::ASTForAll
- #typecheck_and_resolve — ADSL::Parser::ASTExists
- #typecheck_and_resolve — ADSL::Parser::ASTNot
- #typecheck_and_resolve — ADSL::Parser::ASTAnd
- #typecheck_and_resolve — ADSL::Parser::ASTOr
- #typecheck_and_resolve — ADSL::Parser::ASTEquiv
- #typecheck_and_resolve — ADSL::Parser::ASTImplies
- #typecheck_and_resolve — ADSL::Parser::ASTEqual
- #typecheck_and_resolve — ADSL::Parser::ASTIn
- #typecheck_and_resolve — ADSL::Parser::ASTEmpty
- #unload_class — Test::Unit::TestCase
- #until_no_change — Kernel
- #update — Object
- #url_for — ADSL::Extract::Rails::RailsExtractor
- #valid? — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #verify — ADSL::Spass::Bin
- #verify_spass — ADSL::Verification::RailsVerification
- #where — ADSL::Extract::Rails::ActiveRecordMetaclassGenerator
- #with_replace — ADSL::Extract::Instrumenter
- #worklist_each — Array