[Truffle] Massive untagging of specs.

Author: chrisseaton

spec/truffle/tags/core/array/allocate_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

spec/truffle/tags/core/array/array_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

spec/truffle/tags/core/array/clear_tags.txt

@@ -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

spec/truffle/tags/core/array/clone_tags.txt

@@ -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

spec/truffle/tags/core/array/collect_tags.txt

@@ -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

spec/truffle/tags/core/array/comparison_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

spec/truffle/tags/core/array/concat_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

spec/truffle/tags/core/array/delete_at_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

spec/truffle/tags/core/array/delete_tags.txt

@@ -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]
@@ -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]

spec/truffle/tags/core/array/dup_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?

spec/truffle/tags/core/array/element_reference_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]

spec/truffle/tags/core/array/eql_tags.txt

@@ -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

spec/truffle/tags/core/array/equal_value_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

spec/truffle/tags/core/array/fill_tags.txt

@@ -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

spec/truffle/tags/core/array/first_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

spec/truffle/tags/core/array/flatten_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

spec/truffle/tags/core/array/frozen_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

spec/truffle/tags/core/array/include_tags.txt

@@ -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

spec/truffle/tags/core/array/initialize_copy_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
@@ -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

spec/truffle/tags/core/array/initialize_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
@@ -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

spec/truffle/tags/core/array/insert_tags.txt

@@ -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

spec/truffle/tags/core/array/inspect_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

spec/truffle/tags/core/array/join_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

spec/truffle/tags/core/array/map_tags.txt

@@ -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
@@ -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

spec/truffle/tags/core/array/minus_tags.txt

@@ -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
@@ -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