Skip to content

Commit

Permalink
[Truffle] Massive untagging of specs.
Browse files Browse the repository at this point in the history
  • Loading branch information
chrisseaton committed Jan 7, 2015
1 parent 206152a commit fe7f9c7
Show file tree
Hide file tree
Showing 87 changed files with 4 additions and 570 deletions.
3 changes: 0 additions & 3 deletions spec/truffle/tags/core/array/allocate_tags.txt

This file was deleted.

1 change: 0 additions & 1 deletion spec/truffle/tags/core/array/array_tags.txt

This file was deleted.

2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/clear_tags.txt
@@ -1,3 +1 @@
fails:Array#clear keeps tainted status
fails:Array#clear keeps untrusted status
fails:Array#clear raises a RuntimeError on a frozen array
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/clone_tags.txt
@@ -1,6 +1,4 @@
fails:Array#clone returns an Array or a subclass instance
fails:Array#clone creates a new array containing all elements or the original
fails:Array#clone copies taint status from the original
fails:Array#clone copies untrusted status from the original
fails:Array#clone copies frozen status from the original
fails:Array#clone copies singleton methods
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/collect_tags.txt
Expand Up @@ -5,8 +5,6 @@ fails:Array#collect does not copy tainted status
fails:Array#collect does not copy untrusted status
fails:Array#collect! returns the evaluated value of block but its contents is partially modified, if it broke in the block
fails:Array#collect! returns an Enumerator when no block given, and the enumerator can modify the original array
fails:Array#collect! keeps tainted status
fails:Array#collect! keeps untrusted status
fails:Array#collect! when frozen raises a RuntimeError
fails:Array#collect! when frozen raises a RuntimeError when empty
fails:Array#collect! when frozen raises a RuntimeError when calling #each on the returned Enumerator
Expand Down
1 change: 0 additions & 1 deletion spec/truffle/tags/core/array/comparison_tags.txt
Expand Up @@ -4,6 +4,5 @@ fails:Array#<=> returns +1 if the array is longer than the other array
fails:Array#<=> returns -1 if the arrays have same length and a pair of corresponding elements returns -1 for <=>
fails:Array#<=> returns +1 if the arrays have same length and a pair of corresponding elements returns +1 for <=>
fails:Array#<=> properly handles recursive arrays
fails:Array#<=> tries to convert the passed argument to an Array using #to_ary
fails:Array#<=> does not call #to_ary on Array subclasses
fails:Array#<=> returns nil when the argument is not array-like
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/concat_tags.txt
Expand Up @@ -2,9 +2,7 @@ fails:Array#concat tries to convert the passed argument to an Array using #to_ar
fails:Array#concat does not call #to_ary on Array subclasses
fails:Array#concat raises a RuntimeError when Array is frozen and modification occurs
fails:Array#concat raises a RuntimeError when Array is frozen and no modification occurs
fails:Array#concat keeps tainted status
fails:Array#concat is not infected by the other
fails:Array#concat keeps the tainted status of elements
fails:Array#concat keeps untrusted status
fails:Array#concat is not infected untrustedness by the other
fails:Array#concat keeps the untrusted status of elements
3 changes: 0 additions & 3 deletions spec/truffle/tags/core/array/delete_at_tags.txt
@@ -1,6 +1,3 @@
fails:Array#delete_at removes the element at the specified index
fails:Array#delete_at returns nil and makes no modification if the index is out of range
fails:Array#delete_at tries to convert the passed argument to an Integer using #to_int
fails:Array#delete_at raises a RuntimeError on a frozen array
fails:Array#delete_at keeps tainted status
fails:Array#delete_at keeps untrusted status
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/delete_tags.txt
@@ -1,5 +1,3 @@
fails:Array#delete removes elements that are #== to object
fails:Array#delete may be given a block that is executed if no element matches object
fails:Array#delete raises a RuntimeError on a frozen array
fails:Array#delete keeps tainted status
fails:Array#delete keeps untrusted status
1 change: 0 additions & 1 deletion spec/truffle/tags/core/array/dup_tags.txt
@@ -1,4 +1,3 @@
fails:Array#dup returns an Array or a subclass instance
fails:Array#dup creates a new array containing all elements or the original
fails:Array#dup copies taint status from the original
fails:Array#dup copies untrusted status from the original
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/element_reference_tags.txt
Expand Up @@ -4,7 +4,6 @@ fails:Array#[] returns the subarray which is independent to self with [index,cou
fails:Array#[] tries to convert the passed argument to an Integer using #to_int
fails:Array#[] returns the elements specified by Range indexes with [m..n]
fails:Array#[] returns elements specified by Range indexes except the element at index n with [m...n]
fails:Array#[] returns elements that exist if range start is in the array but range end is not with [m..n]
fails:Array#[] accepts Range instances having a negative m and both signs for n with [m..n] and [m...n]
fails:Array#[] returns the subarray which is independent to self with [m..n]
fails:Array#[] tries to convert Range elements to Integers using #to_int with [m..n] and [m...n]
Expand All @@ -13,7 +12,6 @@ fails:Array#[] returns [] if index == array.size with [index, length]
fails:Array#[] returns nil if length is negative with [index, length]
fails:Array#[] returns an empty array when m == n with [m...n]
fails:Array#[] returns an empty array with [0...0]
fails:Array#[] returns a subarray where m, n negatives and m < n with [m..n]
fails:Array#[] returns an array containing the first element with [0..0]
fails:Array#[] returns the entire array with [0..-1]
fails:Array#[] returns all but the last element with [0...-1]
Expand Down
1 change: 0 additions & 1 deletion spec/truffle/tags/core/array/eql_tags.txt
@@ -1,5 +1,4 @@
fails:Array#eql? handles well recursive arrays
fails:Array#eql? does not call #to_ary on its argument
fails:Array#eql? does not call #to_ary on Array subclasses
fails:Array#eql? ignores array class differences
fails:Array#eql? returns false if any corresponding elements are not #eql?
9 changes: 0 additions & 9 deletions spec/truffle/tags/core/array/equal_value_tags.txt
@@ -1,13 +1,4 @@
fails:Array#== returns true if other is the same array
fails:Array#== returns true if corresponding elements are #eql?
fails:Array#== returns false if other is shorter than self
fails:Array#== returns false if other is longer than self
fails:Array#== returns false immediately when sizes of the arrays differ
fails:Array#== handles well recursive arrays
fails:Array#== does not call #to_ary on its argument
fails:Array#== does not call #to_ary on Array subclasses
fails:Array#== ignores array class differences
fails:Array#== compares with an equivalent Array-like object using #to_ary
fails:Array#== returns false if any corresponding elements are not #==
fails:Array#== returns true if corresponding elements are #==
fails:Array#== returns false for [NaN] == [NaN]
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/fill_tags.txt
Expand Up @@ -22,8 +22,6 @@ fails:Array#fill with (filler, index, length) pads between the last element and
fails:Array#fill with (filler, index, length) replaces length elements beginning with the (-n)th if given an index n < 0 and a length > 0
fails:Array#fill with (filler, index, length) starts at 0 if the negative index is before the start of the array
fails:Array#fill with (filler, index, length) makes no modifications if the given length <= 0
fails:Array#fill with (filler, index, length) does not raise an exception if the given length is negative and its absolute value does not exceed the index
fails:Array#fill with (filler, index, length) does not raise an exception even if the given length is negative and its absolute value exceeds the index
fails:Array#fill with (filler, index, length) tries to convert the second and third arguments to Integers using #to_int
fails:Array#fill with (filler, index, length) raises a TypeError if the index is not numeric
fails:Array#fill with (filler, index, length) raises an ArgumentError or RangeError for too-large sizes
Expand Down
4 changes: 0 additions & 4 deletions spec/truffle/tags/core/array/first_tags.txt
@@ -1,13 +1,9 @@
fails:Array#first returns the first element
fails:Array#first returns nil if self is empty
fails:Array#first returns the first count elements if given a count
fails:Array#first returns an empty array when passed count on an empty array
fails:Array#first returns an empty array when passed count == 0
fails:Array#first returns an array containing the first element when passed count == 1
fails:Array#first raises an ArgumentError when count is negative
fails:Array#first returns the entire array when count > length
fails:Array#first returns an array which is independent to the original when passed count
fails:Array#first properly handles recursive arrays
fails:Array#first tries to convert the passed argument to an Integer using #to_int
fails:Array#first raises a TypeError if the passed argument is not numeric
fails:Array#first does not return subclass instance when passed count on Array subclasses
Expand Down
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/flatten_tags.txt
Expand Up @@ -8,10 +8,8 @@ fails:Array#flatten does not call flatten on elements
fails:Array#flatten raises an ArgumentError on recursive arrays
fails:Array#flatten flattens any element which responds to #to_ary, using the return value of said method
fails:Array#flatten returns subclass instance for Array subclasses
fails:Array#flatten is not destructive
fails:Array#flatten returns a tainted array if self is tainted
fails:Array#flatten returns an untrusted array if self is untrusted
fails:Array#flatten with a non-Array object in the Array does not call #to_ary if the method does not exist
fails:Array#flatten with a non-Array object in the Array ignores the return value of #to_ary if it is nil
fails:Array#flatten with a non-Array object in the Array raises a TypeError if the return value of #to_ary is not an Array
fails:Array#flatten! modifies array to produce a one-dimensional flattening recursively
Expand Down
1 change: 0 additions & 1 deletion spec/truffle/tags/core/array/frozen_tags.txt
@@ -1,2 +1 @@
fails:Array#frozen? returns true if array is frozen
fails:Array#frozen? returns false for an array being sorted by #sort
3 changes: 0 additions & 3 deletions spec/truffle/tags/core/array/include_tags.txt

This file was deleted.

5 changes: 0 additions & 5 deletions spec/truffle/tags/core/array/initialize_copy_tags.txt
@@ -1,8 +1,3 @@
fails:Array#initialize_copy is private
fails:Array#initialize_copy replaces the elements with elements from other array
fails:Array#initialize_copy properly handles recursive arrays
fails:Array#initialize_copy returns self
fails:Array#initialize_copy does not make self dependent to the original array
fails:Array#initialize_copy tries to convert the passed argument to an Array using #to_ary
fails:Array#initialize_copy does not call #to_ary on Array subclasses
fails:Array#initialize_copy raises a RuntimeError on a frozen array
7 changes: 0 additions & 7 deletions spec/truffle/tags/core/array/initialize_tags.txt
@@ -1,24 +1,17 @@
fails:Array#initialize is private
fails:Array#initialize is called on subclasses
fails:Array#initialize preserves the object's identity even when changing its value
fails:Array#initialize raises an ArgumentError if passed 3 or more arguments
fails:Array#initialize raises a RuntimeError on frozen arrays
fails:Array#initialize calls #to_ary to convert the value to an array, even if it's private
fails:Array#initialize with no arguments makes the array empty
fails:Array#initialize with no arguments does not use the given block
fails:Array#initialize with (array) replaces self with the other array
fails:Array#initialize with (array) does not use the given block
fails:Array#initialize with (array) calls #to_ary to convert the value to an array
fails:Array#initialize with (array) does not call #to_ary on instances of Array or subclasses of Array
fails:Array#initialize with (array) raises a TypeError if an Array type argument and a default object
fails:Array#initialize with (size, object=nil) sets the array to size and fills with the object
fails:Array#initialize with (size, object=nil) sets the array to size and fills with nil when object is omitted
fails:Array#initialize with (size, object=nil) raises an ArgumentError if size is negative
fails:Array#initialize with (size, object=nil) raises an ArgumentError if size is too large
fails:Array#initialize with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is given
fails:Array#initialize with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is not given
fails:Array#initialize with (size, object=nil) raises a TypeError if the size argument is not an Integer type
fails:Array#initialize with (size, object=nil) yields the index of the element and sets the element to the value of the block
fails:Array#initialize with (size, object=nil) uses the block value instead of using the default value
fails:Array#initialize with (size, object=nil) returns the value passed to break
fails:Array#initialize with (size, object=nil) sets the array to the values returned by the block before break is executed
1 change: 0 additions & 1 deletion spec/truffle/tags/core/array/insert_tags.txt
Expand Up @@ -7,6 +7,5 @@ fails:Array#insert can insert before the first element with a negative index
fails:Array#insert raises an IndexError if the negative index is out of bounds
fails:Array#insert does nothing of no object is passed
fails:Array#insert tries to convert the passed position argument to an Integer using #to_int
fails:Array#insert raises an ArgumentError if no argument passed
fails:Array#insert raises a RuntimeError on frozen arrays when the array is modified
fails:Array#insert raises a RuntimeError on frozen arrays when the array would not be modified
4 changes: 0 additions & 4 deletions spec/truffle/tags/core/array/inspect_tags.txt
@@ -1,6 +1,3 @@
fails:Array#inspect returns a string
fails:Array#inspect returns '[]' for an empty Array
fails:Array#inspect calls inspect on its elements and joins the results with commas
fails:Array#inspect represents a recursive element with '[...]'
fails:Array#inspect taints the result if the Array is non-empty and tainted
fails:Array#inspect does not taint the result if the Array is tainted but empty
Expand All @@ -9,6 +6,5 @@ fails:Array#inspect untrusts the result if the Array is untrusted
fails:Array#inspect does not untrust the result if the Array is untrusted but empty
fails:Array#inspect untrusts the result if an element is untrusted
fails:Array#inspect with encoding returns a US-ASCII string for an empty Array
fails:Array#inspect with encoding use the default external encoding if it is ascii compatible
fails:Array#inspect with encoding use US-ASCII encoding if the default external encoding is not ascii compatible
fails:Array#inspect with encoding raises if inspected result is not default external encoding
3 changes: 0 additions & 3 deletions spec/truffle/tags/core/array/join_tags.txt
@@ -1,8 +1,6 @@
fails:Array#join returns a string formed by concatenating each element.to_str separated by separator
fails:Array#join uses the same separator with nested arrays
fails:Array#join returns an empty string if the Array is empty
fails:Array#join returns a US-ASCII string for an empty Array
fails:Array#join returns a string formed by concatenating each String element separated by $,
fails:Array#join attempts coercion via #to_str first
fails:Array#join attempts coercion via #to_ary second
fails:Array#join attempts coercion via #to_s third
Expand All @@ -14,7 +12,6 @@ fails:Array#join untrusts the result if the Array is untrusted and non-empty
fails:Array#join does not untrust the result if the Array is untrusted but empty
fails:Array#join untrusts the result if the result of coercing an element is untrusted
fails:Array#join uses the first encoding when other strings are compatible
fails:Array#join uses the widest common encoding when other strings are incompatible
fails:Array#join fails for arrays with incompatibly-encoded strings
fails:Array#join does not separate elements when the passed separator is nil
fails:Array#join calls #to_str to convert the separator to a String
Expand Down
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/map_tags.txt
Expand Up @@ -5,8 +5,6 @@ fails:Array#map does not copy tainted status
fails:Array#map does not copy untrusted status
fails:Array#map! returns the evaluated value of block but its contents is partially modified, if it broke in the block
fails:Array#map! returns an Enumerator when no block given, and the enumerator can modify the original array
fails:Array#map! keeps tainted status
fails:Array#map! keeps untrusted status
fails:Array#map! when frozen raises a RuntimeError
fails:Array#map! when frozen raises a RuntimeError when empty
fails:Array#map! when frozen raises a RuntimeError when calling #each on the returned Enumerator
Expand Down
3 changes: 0 additions & 3 deletions spec/truffle/tags/core/array/minus_tags.txt
@@ -1,9 +1,6 @@
fails:Array#- creates an array minus any items from other array
fails:Array#- properly handles recursive arrays
fails:Array#- tries to convert the passed arguments to Arrays using #to_ary
fails:Array#- raises a TypeError if the argument cannot be coerced to an Array by calling #to_ary
fails:Array#- does not return subclass instance for Array subclasses
fails:Array#- does not call to_ary on array subclasses
fails:Array#- removes an item identified as equivalent via #hash and #eql?
fails:Array#- doesn't remove an item with the same hash but not #eql?
fails:Array#- is not destructive
4 changes: 0 additions & 4 deletions spec/truffle/tags/core/array/new_tags.txt
@@ -1,18 +1,14 @@
fails:Array.new returns an instance of Array
fails:Array.new returns an instance of a subclass
fails:Array.new with no arguments returns an empty array
fails:Array.new with no arguments does not use the given block
fails:Array.new with (array) returns an array initialized to the other array
fails:Array.new with (array) does not use the given block
fails:Array.new with (array) calls #to_ary to convert the value to an array
fails:Array.new with (array) does not call #to_ary on instances of Array or subclasses of Array
fails:Array.new with (array) raises a TypeError if an Array type argument and a default object
fails:Array.new with (size, object=nil) returns an array of size filled with nil when object is omitted
fails:Array.new with (size, object=nil) raises an ArgumentError if size is negative
fails:Array.new with (size, object=nil) raises an ArgumentError if size is too large
fails:Array.new with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is given
fails:Array.new with (size, object=nil) calls #to_int to convert the size argument to an Integer when object is not given
fails:Array.new with (size, object=nil) raises a TypeError if the size argument is not an Integer type
fails:Array.new with (size, object=nil) yields the index of the element and sets the element to the value of the block
fails:Array.new with (size, object=nil) uses the block value instead of using the default value
fails:Array.new with (size, object=nil) returns the value passed to break
2 changes: 0 additions & 2 deletions spec/truffle/tags/core/array/pack/a_tags.txt
Expand Up @@ -17,7 +17,6 @@ fails:Array#pack with format 'A' returns a untrusted string when the format is u
fails:Array#pack with format 'A' returns a untrusted string when the empty format is untrusted
fails:Array#pack with format 'A' returns a untrusted string when a pack argument is untrusted
fails:Array#pack with format 'A' returns a trusted string when the array is untrusted
fails:Array#pack with format 'A' returns a string in encoding of common to the concatenated results
fails:Array#pack with format 'a' raises a TypeError when passed nil
fails:Array#pack with format 'a' raises a TypeError when passed an Integer
fails:Array#pack with format 'a' ignores whitespace in the format string
Expand All @@ -37,4 +36,3 @@ fails:Array#pack with format 'a' returns a untrusted string when the format is u
fails:Array#pack with format 'a' returns a untrusted string when the empty format is untrusted
fails:Array#pack with format 'a' returns a untrusted string when a pack argument is untrusted
fails:Array#pack with format 'a' returns a trusted string when the array is untrusted
fails:Array#pack with format 'a' returns a string in encoding of common to the concatenated results
4 changes: 0 additions & 4 deletions spec/truffle/tags/core/array/pack/b_tags.txt
Expand Up @@ -7,8 +7,6 @@ fails:Array#pack with format 'B' raises an ArgumentError if there are fewer elem
fails:Array#pack with format 'B' raises a TypeError if the object does not respond to #to_str
fails:Array#pack with format 'B' raises a TypeError if #to_str does not return a String
fails:Array#pack with format 'B' calls #to_str to convert an Object to a String
fails:Array#pack with format 'B' returns an ASCII-8BIT string
fails:Array#pack with format 'B' encodes the string as a sequence of bytes
fails:Array#pack with format 'b' raises a TypeError when passed nil
fails:Array#pack with format 'b' raises a TypeError when passed an Integer
fails:Array#pack with format 'b' ignores whitespace in the format string
Expand All @@ -18,5 +16,3 @@ fails:Array#pack with format 'b' raises an ArgumentError if there are fewer elem
fails:Array#pack with format 'b' raises a TypeError if the object does not respond to #to_str
fails:Array#pack with format 'b' raises a TypeError if #to_str does not return a String
fails:Array#pack with format 'b' calls #to_str to convert an Object to a String
fails:Array#pack with format 'b' returns an ASCII-8BIT string
fails:Array#pack with format 'b' encodes the string as a sequence of bytes

0 comments on commit fe7f9c7

Please sign in to comment.