This documentation is automatically generated by online-judge-tools/verification-helper
spec/scanner_spec.cr
- View this file on GitHub
- Last update: 2022-04-14 22:36:43+09:00
Depends on
src/scanner.cr
Code
require "spec"
require "../src/scanner"
private IntTypes = [
{Int8, :i8}, {Int16, :i16}, {Int32, :i32}, {Int64, :i64},
{UInt8, :u8}, {UInt16, :u16}, {UInt32, :u32}, {UInt64, :u64},
]
private macro check(method, input, expect)
%io = IO::Memory.new {{ input }}
({{ expect }}).each { |str| Scanner.{{ method.id }}(%io).should eq str }
expect_raises(IO::EOFError) { Scanner.{{ method.id }}(%io) }
end
private macro check_raises(method, input, exception)
%io = IO::Memory.new {{ input }}
expect_raises({{ exception }}) { Scanner.{{ method.id }}(%io) }
end
private macro describe_scan_int(type, method)
{% signed = type.stringify =~ /$Int\d+^/ %}
describe ".{{ method.id }}" do
it "read integer separated by spaces or new lines" do
check {{ method }}, "0 1 2 3\n4 5 6\n7 08 009", 0..9
{% if signed %}
check {{ method }}, "-0 -1 -2 -3\n-4 -5 -6\n-7 -08 -009", 0.to(-9)
{% end %}
check {{ method }}, " \n\n1 2\n \n\n 3\n\n ", 1..3
end
it "raise if read unexpected charactor" do
check_raises {{ method }}, "", IO::EOFError
check_raises {{ method }}, "@", Exception
check_raises {{ method }}, " @", Exception
check_raises {{ method }}, "123@", Exception
check_raises {{ method }}, " 123@", Exception
end
it "read {{ type }}::MIN and {{ type }}::MAX" do
min, max = {{ type }}::MIN, {{ type }}::MAX
a = (min..min + 100).to_a + (max - 100..max).to_a
check {{ method }}, a.join(' '), a
end
end
end
describe Scanner do
describe ".s" do
it "read string separated by spaces or new lines" do
check :s, "a b\nc d", %w[a b c d]
check :s, " \na b \n c \n\n d \n", %w[a b c d]
check :s, "aaabbbccc", ["aaabbbccc"]
end
it "read long string" do
str = ('a'..'z').join * 1000
check :s, "#{str} #{str}\n#{str}", [str, str, str]
end
end
{% for t in IntTypes %}
describe_scan_int {{ t[0] }}, {{ t[1] }}
{% end %}
describe_scan_int Int32, :i
describe_scan_int Int128, :i128
describe_scan_int UInt128, :u128
end
private macro assert_input(ast, input, expect)
%io = IO::Memory.new {{ input }}
input({{ ast }}, io: %io).should eq({{ expect }})
end
private macro assert_input_column(types, size, input, expect)
%io = IO::Memory.new {{ input }}
input_column({{ types }}, {{ size }}, io: %io).should eq({{ expect }})
end
private struct Scannable
getter x : Int32, y : Int32
def initialize(@x, @y)
end
def self.scan(scanner, io)
Scannable.new scanner.i(io), scanner.i(io)
end
def sum
x + y
end
end
describe "input" do
{% for t in IntTypes %}
it "reads {{ t[0] }}" do
assert_input {{ t[0] }}, "42", 42
assert_input {{ t[1].id }}, "42", 42
end
{% end %}
it "reads string and char" do
assert_input c, "abc\ndef", 'a'
assert_input s, "abc\ndef", "abc"
assert_input Char, "abc\ndef", 'a'
assert_input [Char, Char, Char], "ab \n c", ['a', 'b', 'c']
assert_input String, "abc\ndef", "abc"
assert_input String, "abc def", "abc"
end
it "reads float" do
assert_input f, "3.14", 3.14
assert_input f32, "3.14", 3.14f32
assert_input f64, "3.14", 3.14
assert_input Float32, "3.14", 3.14f32
assert_input Float64, "3.14", 3.14
end
it "reads literal" do
assert_input 42, "", 42
assert_input 3.14, "", 3.14
assert_input nil, "", nil
assert_input false, "", false
assert_input true, "", true
assert_input 'A', "", 'A'
assert_input "String", "", "String"
assert_input /regex/, "", /regex/
assert_input({1, 2, 3}, "", {1, 2, 3})
assert_input({i, i, i}, "1 2 3", {1, 2, 3})
assert_input [1, 2, 3], "", [1, 2, 3]
assert_input [i, i, i], "1 2 3", [1, 2, 3]
assert_input({1 => 2, 3 => 4}, "11 2 22", {1 => 2, 3 => 4})
assert_input({1 => i, i => i}, "11 2 22", {1 => 11, 2 => 22})
assert_input({a: 'a', b: 'b'}, "1 abc", {a: 'a', b: 'b'})
assert_input({a: i, b: s}, "1 abc", {a: 1, b: "abc"})
assert_input 1..i, "3", 1..3
assert_input i...i, "1 3", 1...3
end
it "reads if" do
assert_input i == 1 ? i : i * 2, "1 2", 2
assert_input i == 1 ? i : i * 2, "2 2", 4
end
it "reads assign" do
assert_input (var = i; var * var), "12", 144
end
it "reads with local variable" do
i, f = 1, 2
assert_input i, "42", 42
assert_input f, "42.0", 42.0
assert_input :i, "", 1
assert_input :f, "", 2
assert_input i[:f], "1 2", [1, 2]
end
it "reads array" do
assert_input i[3], "1 2 3", [1, 2, 3]
assert_input (i * i)[3], "1 2 3 4 5 6", [2, 12, 30]
assert_input String[i], "3 a b c d", %w[a b c]
assert_input String[i], "3 a \n \n b\nc d", %w[a b c]
assert_input i[2, 3], "1 2 3 4 5 6", [[1, 2, 3], [4, 5, 6]]
assert_input i[i, i], "2 3 1 2 3 4 5 6", [[1, 2, 3], [4, 5, 6]]
assert_input i[i][i], "3 \n 2 1 2 \n 3 1 2 3 \n 4 1 2 3 4", [[1, 2], [1, 2, 3], [1, 2, 3, 4]]
assert_input({i, i - 1}[2], "1 2 3 4", [{1, 1}, {3, 3}])
end
it "reads method" do
assert_input i + i, "1 2", 3
assert_input i.abs, "-2", 2
end
it "reads class method" do
assert_input Int64.new(i), "42", 42
assert_input Tuple(Int32, Int32).from(i[2]), "1 2", {1, 2}
end
it "reads scannable type" do
assert_input Scannable, "1 2", Scannable.new(1, 2)
assert_input Scannable.sum, "1 2", 3
end
end
it "input_column" do
assert_input_column [Int32], 3, "1 2 3", {[1, 2, 3]}
assert_input_column [Int32, Int32], 3, "1 2\n3 4\n5 6", {[1, 3, 5], [2, 4, 6]}
n = 3
assert_input_column [Int32, Int32], n, "1 2\n3 4\n5 6", {[1, 3, 5], [2, 4, 6]}
s = [Scannable.new(2, 3), Scannable.new(5, 6), Scannable.new(8, 9)]
assert_input_column [Int32, Scannable], 3, "1 2 3\n4 5 6\n7 8 9", {[1, 4, 7], s}
size = 2
assert_input_column [Int32, Int32], (size += 1), "1 2\n3 4\n5 6", {[1, 3, 5], [2, 4, 6]}
size.should eq 3
endrequire "spec"
# require "../src/scanner"
module Scanner
extend self
private def skip_to_not_space(io)
peek = io.peek
not_space = peek.index { |x| x != 32 && x != 10 } || peek.size
io.skip(not_space)
end
def c(io = STDIN)
skip_to_not_space(io)
io.read_char.not_nil!
end
private def int(int_type : T.class, io = STDIN) : T forall T
skip_to_not_space(io)
value = T.zero
signed = false
case x = io.read_byte
when nil
raise IO::EOFError.new
when 45
signed = true
when 48..57
value = T.new 48 &- x
else
raise "Unexpected char: #{x.chr}"
end
loop do
peek = io.peek
return signed ? value : -value if peek.empty?
i = 0
while i < peek.size
c = peek.unsafe_fetch(i)
if 48 <= c <= 57
value = value &* 10 &- c &+ 48
i &+= 1
elsif c == 32 || c == 10
io.skip(i &+ 1)
return signed ? value : -value
else
raise "Unexpected char: #{c.chr}"
end
end
io.skip(i)
end
end
private def uint(uint_type : T.class, io = STDIN) : T forall T
skip_to_not_space(io)
value = T.zero
found_digit = false
loop do
peek = io.peek
if peek.empty?
if found_digit
return value
else
raise IO::EOFError.new
end
end
i = 0
while i < peek.size
c = peek.unsafe_fetch(i)
if 48 <= c <= 57
found_digit = true
value = value &* 10 &+ c &- 48
i &+= 1
elsif c == 32 || c == 10
io.skip(i &+ 1)
return value
else
raise "Unexpected char: #{c.chr}"
end
end
io.skip(i)
end
end
def i(io = STDIN)
int(Int32, io)
end
{% for n in [8, 16, 32, 64, 128] %}
def i{{n}}(io = STDIN)
int(Int{{n}}, io)
end
def u{{n}}(io = STDIN)
uint(UInt{{n}}, io)
end
{% end %}
{% for method in [:f, :f32, :f64] %}
def {{method.id}}(io = STDIN)
s(io).to_{{method.id}}
end
{% end %}
def s(io = STDIN)
skip_to_not_space(io)
peek = io.peek
if peek.empty?
raise IO::EOFError.new
end
if index = peek.index { |x| x == 32 || x == 10 }
io.skip(index + 1)
return String.new(peek[0, index])
end
String.build do |buffer|
loop do
buffer.write peek
io.skip(peek.size)
peek = io.peek
break if peek.empty?
if index = peek.index { |x| x == 32 || x == 10 }
buffer.write peek[0, index]
io.skip(index + 1)
break
end
end
end
end
end
macro internal_input(type, else_ast, io)
{% if Scanner.class.has_method?(type.id) %}
Scanner.{{type.id}}({{io}})
{% elsif type.stringify == "String" %}
Scanner.s({{io}})
{% elsif type.stringify == "Char" %}
Scanner.c({{io}})
{% elsif type.is_a?(Path) %}
{% if type.resolve.class.has_method?(:scan) %}
{{type}}.scan(Scanner, {{io}})
{% else %}
{{type}}.new(Scanner.s({{io}}))
{% end %}
{% elsif String.has_method?("to_#{type}".id) %}
Scanner.s({{io}}).to_{{type.id}}
{% else %}
{{else_ast}}
{% end %}
end
macro internal_input_array(type, args, io)
{% for i in 0...args.size %}
%size{i} = input({{args[i]}}, io: {{io}})
{% end %}
{% begin %}
{% for i in 0...args.size %} Array.new(%size{i}) { {% end %}
input({{type.id}}, io: {{io}})
{% for i in 0...args.size %} } {% end %}
{% end %}
end
# Inputs from *io*.
#
# ### Specifications
#
# ```plain
# AST | Example | Expanded code
# ------------------+---------------------+---------------------------------------
# Uppercase string | Int32, Int64, etc. | {}.new(Scanner.s)
# | s, c, i, iN, uN | Scanner.{}
# | f, big_i, etc. | Scanner.s.to_{}
# Call [] | type[size] | Array.new(input(size)) { input(type) }
# TupleLiteral | {t1, t2, t3} | {input(t1), input(t2), input(t3)}
# ArrayLiteral | [t1, t2, t3] | [input(t1), input(t2), input(t3)]
# HashLiteral | {t1 => t2} | {input(t1) => input(t2)}
# NamedTupleLiteral | {a: t1, b: t2} | {a: input(t1), b: input(t2)}
# RangeLiteral | t1..t2 | input(t1)..input(t2)
# Expressions | (exp1; exp2) | (input(exp1); input(exp2);)
# If | cond ? t1 : t2 | input(cond) ? input(t1) : input(t2)
# Assign | target = value | target = input(value)
# ```
#
# ### Examples
#
# Input:
# ```plain
# 5 3
# foo bar
# 1 2 3 4 5
# ```
# ```
# n, m = input(Int32, Int64) # => {5, 5i64}
# input(String, Char[m]) # => {"foo", ['b', 'a', 'r']}
# input(Int32[n]) # => [1, 2, 3, 4, 5]
# ```
# ```
# n, m = input(i, i64) # => {5, 5i64}
# input(s, c[m]) # => {"foo", ['b', 'a', 'r']}
# input(i[n]) # => [1, 2, 3, 4, 5]
# ```
#
# Input:
# ```plain
# 2 3
# 1 2 3
# 4 5 6
# ```
#
# ```
# h, w = input(i, i) # => {2, 3}
# input(i[h, w]) # => [[1, 2, 3], [4, 5, 6]]
# ```
# ```
# input(i[i, i]) # => [[1, 2, 3], [4, 5, 6]]
# ```
#
# Input:
# ```plain
# 5 3
# 3 1 4 2 5
# 1 2
# 2 3
# 3 1
# ```
# ```
# n, m = input(i, i) # => {5, 3}
# input(i.pred[n]) # => [2, 0, 3, 1, 4]
# input({i - 1, i - 1}[m]) # => [{0, 1}, {1, 2}, {2, 0}]
# ```
#
# Input:
# ```plain
# 3
# 1 2
# 2 2
# 3 2
# ```
# ```
# input({tmp = i, tmp == 1 ? i : i.pred}[i]) # => [{1, 2}, {2, 1}, {3, 1}]
# ```
#
# Input:
# ```plain
# 3
# 1 1
# 2 1 2
# 5 1 2 3 4 5
# ```
# ```
# n = input(i) # => 3
# input(i[i][n]) # => [[1], [1, 2], [1, 2, 3, 4, 5]]
# ```
#
# Input:
# ```plain
# 3
# 1 2
# 2 3
# 3 1
# ```
# ```
# n = input(i)
# input_column({Int32, Int32}, n) # => {[1, 2, 3], [2, 3, 1]}
# ```
macro input(ast, *, io = STDIN)
{% if ast.is_a?(Call) %}
{% if ast.receiver.is_a?(Nop) %}
internal_input(
{{ast.name}},
{{ast.name}}({% for argument in ast.args %} input({{argument}}, io: {{io}}), {% end %}),
{{io}},
)
{% elsif ast.receiver.is_a?(Path) && ast.receiver.resolve.class.has_method?(ast.name.symbolize) %}
{{ast.receiver}}.{{ast.name}}(
{% for argument in ast.args %} input({{argument}}, io: {{io}}) {% end %}
) {{ast.block}}
{% elsif ast.name.stringify == "[]" %}
internal_input_array({{ast.receiver}}, {{ast.args}}, {{io}})
{% else %}
input({{ast.receiver}}, io: {{io}}).{{ast.name}}(
{% for argument in ast.args %} input({{argument}}, io: {{io}}), {% end %}
) {{ast.block}}
{% end %}
{% elsif ast.is_a?(TupleLiteral) %}
{ {% for i in 0...ast.size %} input({{ast[i]}}, io: {{io}}), {% end %} }
{% elsif ast.is_a?(ArrayLiteral) %}
[ {% for i in 0...ast.size %} input({{ast[i]}}, io: {{io}}), {% end %} ]
{% elsif ast.is_a?(HashLiteral) %}
{ {% for key, value in ast %} input({{key}}, io: {{io}}) => input({{value}}, io: {{io}}), {% end %} }
{% elsif ast.is_a?(NamedTupleLiteral) %}
{ {% for key, value in ast %} {{key}}: input({{value}}, io: {{io}}), {% end %} }
{% elsif ast.is_a?(RangeLiteral) %}
Range.new(
input({{ast.begin}}, io: {{io}}),
input({{ast.end}}, io: {{io}}),
{{ast.excludes_end?}},
)
{% elsif ast.is_a?(SymbolLiteral) %}
{{ast.id}}
{% elsif ast.is_a?(Expressions) %}
( {% for exp in ast.expressions %} input({{exp}}, io: {{io}}); {% end %} )
{% elsif ast.is_a?(If) %}
input({{ast.cond}}, io: {{io}}) ? input({{ast.then}}, io: {{io}}) : input({{ast.else}}, io: {{io}})
{% elsif ast.is_a?(Assign) %}
{{ast.target}} = input({{ast.value}}, io: {{io}})
{% else %}
internal_input({{ast}}, {{ast}}, io: {{io}})
{% end %}
end
macro input(*asts, io = STDIN)
{ {% for ast in asts %} input({{ast}}, io: {{io}}), {% end %} }
end
macro input_column(types, size, *, io = STDIN)
%size = {{size}}
{% for type, i in types %}
%array{i} = Array({{type}}).new(%size)
{% end %}
%size.times do
{% for type, i in types %}
%array{i} << input({{type}}, io: {{io}})
{% end %}
end
{ {% for type, i in types %} %array{i}, {% end %} }
end
private IntTypes = [
{Int8, :i8}, {Int16, :i16}, {Int32, :i32}, {Int64, :i64},
{UInt8, :u8}, {UInt16, :u16}, {UInt32, :u32}, {UInt64, :u64},
]
private macro check(method, input, expect)
%io = IO::Memory.new {{ input }}
({{ expect }}).each { |str| Scanner.{{ method.id }}(%io).should eq str }
expect_raises(IO::EOFError) { Scanner.{{ method.id }}(%io) }
end
private macro check_raises(method, input, exception)
%io = IO::Memory.new {{ input }}
expect_raises({{ exception }}) { Scanner.{{ method.id }}(%io) }
end
private macro describe_scan_int(type, method)
{% signed = type.stringify =~ /$Int\d+^/ %}
describe ".{{ method.id }}" do
it "read integer separated by spaces or new lines" do
check {{ method }}, "0 1 2 3\n4 5 6\n7 08 009", 0..9
{% if signed %}
check {{ method }}, "-0 -1 -2 -3\n-4 -5 -6\n-7 -08 -009", 0.to(-9)
{% end %}
check {{ method }}, " \n\n1 2\n \n\n 3\n\n ", 1..3
end
it "raise if read unexpected charactor" do
check_raises {{ method }}, "", IO::EOFError
check_raises {{ method }}, "@", Exception
check_raises {{ method }}, " @", Exception
check_raises {{ method }}, "123@", Exception
check_raises {{ method }}, " 123@", Exception
end
it "read {{ type }}::MIN and {{ type }}::MAX" do
min, max = {{ type }}::MIN, {{ type }}::MAX
a = (min..min + 100).to_a + (max - 100..max).to_a
check {{ method }}, a.join(' '), a
end
end
end
describe Scanner do
describe ".s" do
it "read string separated by spaces or new lines" do
check :s, "a b\nc d", %w[a b c d]
check :s, " \na b \n c \n\n d \n", %w[a b c d]
check :s, "aaabbbccc", ["aaabbbccc"]
end
it "read long string" do
str = ('a'..'z').join * 1000
check :s, "#{str} #{str}\n#{str}", [str, str, str]
end
end
{% for t in IntTypes %}
describe_scan_int {{ t[0] }}, {{ t[1] }}
{% end %}
describe_scan_int Int32, :i
describe_scan_int Int128, :i128
describe_scan_int UInt128, :u128
end
private macro assert_input(ast, input, expect)
%io = IO::Memory.new {{ input }}
input({{ ast }}, io: %io).should eq({{ expect }})
end
private macro assert_input_column(types, size, input, expect)
%io = IO::Memory.new {{ input }}
input_column({{ types }}, {{ size }}, io: %io).should eq({{ expect }})
end
private struct Scannable
getter x : Int32, y : Int32
def initialize(@x, @y)
end
def self.scan(scanner, io)
Scannable.new scanner.i(io), scanner.i(io)
end
def sum
x + y
end
end
describe "input" do
{% for t in IntTypes %}
it "reads {{ t[0] }}" do
assert_input {{ t[0] }}, "42", 42
assert_input {{ t[1].id }}, "42", 42
end
{% end %}
it "reads string and char" do
assert_input c, "abc\ndef", 'a'
assert_input s, "abc\ndef", "abc"
assert_input Char, "abc\ndef", 'a'
assert_input [Char, Char, Char], "ab \n c", ['a', 'b', 'c']
assert_input String, "abc\ndef", "abc"
assert_input String, "abc def", "abc"
end
it "reads float" do
assert_input f, "3.14", 3.14
assert_input f32, "3.14", 3.14f32
assert_input f64, "3.14", 3.14
assert_input Float32, "3.14", 3.14f32
assert_input Float64, "3.14", 3.14
end
it "reads literal" do
assert_input 42, "", 42
assert_input 3.14, "", 3.14
assert_input nil, "", nil
assert_input false, "", false
assert_input true, "", true
assert_input 'A', "", 'A'
assert_input "String", "", "String"
assert_input /regex/, "", /regex/
assert_input({1, 2, 3}, "", {1, 2, 3})
assert_input({i, i, i}, "1 2 3", {1, 2, 3})
assert_input [1, 2, 3], "", [1, 2, 3]
assert_input [i, i, i], "1 2 3", [1, 2, 3]
assert_input({1 => 2, 3 => 4}, "11 2 22", {1 => 2, 3 => 4})
assert_input({1 => i, i => i}, "11 2 22", {1 => 11, 2 => 22})
assert_input({a: 'a', b: 'b'}, "1 abc", {a: 'a', b: 'b'})
assert_input({a: i, b: s}, "1 abc", {a: 1, b: "abc"})
assert_input 1..i, "3", 1..3
assert_input i...i, "1 3", 1...3
end
it "reads if" do
assert_input i == 1 ? i : i * 2, "1 2", 2
assert_input i == 1 ? i : i * 2, "2 2", 4
end
it "reads assign" do
assert_input (var = i; var * var), "12", 144
end
it "reads with local variable" do
i, f = 1, 2
assert_input i, "42", 42
assert_input f, "42.0", 42.0
assert_input :i, "", 1
assert_input :f, "", 2
assert_input i[:f], "1 2", [1, 2]
end
it "reads array" do
assert_input i[3], "1 2 3", [1, 2, 3]
assert_input (i * i)[3], "1 2 3 4 5 6", [2, 12, 30]
assert_input String[i], "3 a b c d", %w[a b c]
assert_input String[i], "3 a \n \n b\nc d", %w[a b c]
assert_input i[2, 3], "1 2 3 4 5 6", [[1, 2, 3], [4, 5, 6]]
assert_input i[i, i], "2 3 1 2 3 4 5 6", [[1, 2, 3], [4, 5, 6]]
assert_input i[i][i], "3 \n 2 1 2 \n 3 1 2 3 \n 4 1 2 3 4", [[1, 2], [1, 2, 3], [1, 2, 3, 4]]
assert_input({i, i - 1}[2], "1 2 3 4", [{1, 1}, {3, 3}])
end
it "reads method" do
assert_input i + i, "1 2", 3
assert_input i.abs, "-2", 2
end
it "reads class method" do
assert_input Int64.new(i), "42", 42
assert_input Tuple(Int32, Int32).from(i[2]), "1 2", {1, 2}
end
it "reads scannable type" do
assert_input Scannable, "1 2", Scannable.new(1, 2)
assert_input Scannable.sum, "1 2", 3
end
end
it "input_column" do
assert_input_column [Int32], 3, "1 2 3", {[1, 2, 3]}
assert_input_column [Int32, Int32], 3, "1 2\n3 4\n5 6", {[1, 3, 5], [2, 4, 6]}
n = 3
assert_input_column [Int32, Int32], n, "1 2\n3 4\n5 6", {[1, 3, 5], [2, 4, 6]}
s = [Scannable.new(2, 3), Scannable.new(5, 6), Scannable.new(8, 9)]
assert_input_column [Int32, Scannable], 3, "1 2 3\n4 5 6\n7 8 9", {[1, 4, 7], s}
size = 2
assert_input_column [Int32, Int32], (size += 1), "1 2\n3 4\n5 6", {[1, 3, 5], [2, 4, 6]}
size.should eq 3
end