Scala 详解含Java中的正则匹配 eclipse集成scala插件

太过爱你忘了你带给我的痛 2022-06-03 02:23 376阅读 0赞

**JAVA语言脚本化，面向函数，直奔主题。查看帮助：（：help）查看历史：（：history）用var和val定义变量**

**val:相当于java中的final。**

**var:其值可变。**

**![Center][]**

**![Center 1][]**

**![Center 2][]**

**![Center 3][]**

**![Center 4][]**

**![Center 5][]**

**![Center 6][]**

**if (x>0) 1    =====>   if  (x>0) 1 else ()            Unit === Void**

**![Center 7][]**

【《快学Scala》笔记】

一、基础

1、变量  
val 标志符： 声明常量； 如，val answer = 1  
var 标志符：声明变量；

*  类型推断：变量的类型由scala根据初始化变量的表达式推断而来；

鼓励使用val；

注：声明变量时不做初始化会报错。

*  明确类型： scala的变量或函数的类型总是写在变量或函数的后面。

1 　　val a:Int = 1
    2 　　val str:String = 2

2、常用类型

Scala支持7种数值类型和1种Boolean类型。

*  Byte/Char/Short/Int/Long/Float/Double
 *  Boolean

注：所有这些类型都是类，Scala并未区分基本类型与引用类型。如，可以调用1.toString方法。

3、数值类型转换：

Scala中使用方法，而非强制类型转换来做数值类型之间的转换。如，

![182021358935515.png][]

4、操作符

Scala支持Java中绝大多数操作符，不过所有的操作符都是方法。如：

a+b 是 a.+(b) 的缩写

即：a 方法 b 是 a.方法(b) 的缩写，两种写法可以互换。

【注：Scala不支持 ++ 和 -- 操作符。】

5、函数调用和方法

常用数学函数包括在scala.math包中，可以通过如下语句引入包。

1 import scala.math._     // Scala中，字符 _ 是通配符，类似Java中的*

另外，以scala开头的包，在引入或使用时可以省略scala。

1 import math._     
    2 3 math.sqrt(2)

【注：Scala中没有静态方法。】

不带参数的方法在调用时可以省略括号，如：

1     "hello World".toString

6、apply方法

在Scala中通常使用类似函数调用的形式来访问数组、链表等的元素。如：

![182112230965377.png][]

上述调用中，"hello"(0)是"hello".apply(0)的调用。其中apply方法是StringOps类中的方法。

二、控制结构和函数

1、if语句也有返回值

if语句称为条件表达式，如：

![182152540964827.png][]

条件表达式的结构为：  if( 判断条件 ) 值1 else 值2 　　；结构类似于 Java的三目运算符，但是Scala不支持三目运算符。

该条件表达式可以用来初始化val常量。

注：Scala中每个表达式都会返回值，如

![182158071129165.png][]

条件表达式返回了 () ，其中 () 表示Unit类，表示没有值。可以看作Java中的void类型。

2、Scala不支持switch语句，但是Scala有更强大的模式匹配机制。

3、块表达式

Scala中使用 \{\} 括起来一系列表达式，其 \{\} 括起来包括 \{\} 的部分叫做块表达式，块表达式的值是块中的最后一个表达式的值。如，

![182208358153427.png][]，结果为7。

可以使用块表达式为变量赋值，如：

![182214366752315.png][]

变量distance使用块表达式来赋值，其值为块中最后一个表达式的值。

4、Scala中赋值语句的返回值为Unit，也可记作：Scala中赋值语句是没有返回值的。

![182219525656409.png][]

【注：  x = y = 3; 这种赋值形式在Scala中不支持，因为赋值语句在Scala中无返回值。 所以， += 、-= 、 ×= 、/= 等赋值操作符都是无返回值的。】

5、输入、输出

*  输入：

常用的包括readLine从控制台读取一行输入，另外，readLine还可带有提示字符串，如：

![182226566591380.png][]

readInt、readByte、readDouble、readShort、readLong、readFloat、readBoolean、readChar分别用于读取各自类型的值。

*  输出：

print(内容)、println(内容)、printf； 其中println带换行；另外，printf支持C风格的字符串输出，如：

![182230372534686.png][]

6、循环操作

Scala支持Java相同的while和do循环：

![182233140967169.png][]

Scala的for循环结构：（ for循环中，变量前面不带var或val标志符）

1     for( 变量 <- 表达式 ){ //让变量遍历表达式的所有值 2       
    3         //操作        
    4     
    5     }

如：

![182242050653990.png][]

7、for循环的高级用法

*  可以在for循环括号里同时包含多组" 变量 <- 表达式 "结构，组之间用分号分隔，如

1     for( i <- 1 until 3; j <- 1 until 3 ){ 
    2           println( i*j )      
    3     }

for循环的这种结构类似Java中的嵌套循环结构。

另外，可以采用

1     for{  i <- 1 until 3     //使用大括号，使用换行来分隔组
    2             j <- 1 until 3 }{  
    3 
    4             println( i*j )
    5     }

*  可以为嵌套循环通过if表达式添加条件：

![182255244713366.png][]

if表达式是否添加括号，结果无变化。

![182256523152730.png][]

until 返回一个不包含上界的区间，如 1 until 3 返回 (1,2)；

![182300068313471.png][]

to方法返回一个包含善洁的区间，如 1 to 3 返回(1,2,3)；

*  for推导式

如果for循环以yield开始，for循环会构造出一个集合，保存到集合中。

![182306248468917.png][]

8、Scala并不支持break和continue；

9、函数—Scala支持函数式编程

1     def 函数名(参数1:类型1, 参数2:类型2,... ):返回值类型 = {
    2     
    3         //函数体
    4 
    5     }

例如：

![182333118315709.png][]

【注：对于有返回值的函数，不能省略 等号 ；　　对于递归函数，不能省略函数返回值类型。】

![182335304879348.png][]

【注：无返回值的函数定义时可以省略 等号 ；无返回值的函数返回类型是 Unit；】

10、带默认值的函数

![182341380962575.png][]

带默认值函数的声明，与Java中的带默认值的方法很类似。

11、带名参数——在函数调用时通过明确指明参数与其对应值

![182345002065997.png][]

第一个函数调用为普通调用，第二个函数调用为带名参数调用。

12、长度可变的参数列表

通过在函数的形参列表最后一个参数的类型后，添加\*，来定义一个接受任意多个参数的函数。

![182353142844686.png][]

13、过程，Scala中将没有返回值的函数叫做过程，如上图所示的函数。

过程在定义的时候，参数列表之后无等号。

14、懒值

但val被声明为lazy时，变量的初始化将被延迟，直到我们首次对变量取值。例如：

1     lazy val fileContent = scala.io.Source.fromFile("filename").mkString

只有当我们读取fileContent值时，fileContent才会通过读取文件来进行初始化。若我们一直未读取fileContent值，这文件不会被读取。

15、Scala没有“受检”异常——无需声明函数或方法可能会抛出某种异常。

**![Center 8][]**

**![Center 9][]**

**![Center 10][]**

**![Center 11][]**

**![Center 12][]**

**![Center 13][]**

**![Center 14][]**

**![Center 15][]递归函数必须声明返回类型。**

**![Center 16][]**

**![Center 17][]**

**过程：没有返回值的函数，不使用等号赋值；**

**赋值类型是Unit（），throw表达式类型是Nothing      if/else 类型取决于非抛异常的语句**

**![Center 18][]**

**![Center 19][]**

**![Center 20][]**

**![Center 21][]**

**![Center 22][]**

**![Center 23][]**

**![Center 24][]**

**![Center 25][]**

**![Center 26][]**

**![Center 27][]默认是公有的，scala没有public关键字。私有字段，age和age\_=也是私有的。**

**Dog.scala:class Dog\{**

**var age=0**

**\}**

**![Center 28][]**

**![Center 29][]当前对象可见**

**![Center 30][]**

**![Center 31][]**

**![Center 32][]**

**![Center 33][]**

**![Center 34][]**

**![Center 35][]**

**![Center 36][]**

**![Center 37][]**

**![Center 38][]**

**抽象方法：**

**![Center 39][]**

**非抽象方法：**

**![Center 40][]**

**![Center 41][]**

**![Center 42][]**

**![Center 43][]**

**覆盖字段：**

**![Center 44][]**

**![Center 45][]**

**![Center 46][]**

**子类重写父类抽象字段也不需要加override。**

**![Center 47][]重写equals方法**

**![Center 48][]**

**Java中的正则匹配：**

**![Center 49][]**

**![Center 50][]**

**![Center 51][]**

![Center 52][]

![Center 53][]

![Center 54][]

![Center 55][]

**apply方法接收构造参数，然后生成对象，unapply接收对象，从中提取值。（unapplyseq）**

**![Center 56][]**

**![Center 57][]**

**函数中的参数是函数：**

**![Center 58][]**

**![Center 59][]**

**如果参数只在=>右侧出现一次，可以用\_代替。（=>这个不用写）**

**![Center 60][]**

**![Center 61][]**

**![Center 62][]**

**![Center 63][]**

**![Center 64][]**

**![Image 1][]**

# Scala 函数柯里化(Currying) #

[![Scala 函数][Scala] Scala 函数][Scala _Scala_Scala]

柯里化(Currying)指的是将原来接受两个参数的函数变成新的接受一个参数的函数的过程。新的函数返回一个以原有第二个参数为参数的函数。

### 实例 ###

首先我们定义一个函数:

def add(x:Int,y:Int)=x+y

那么我们应用的时候，应该是这样用：add(1,2)

现在我们把这个函数变一下形：

def add(x:Int)(y:Int) = x + y

那么我们应用的时候，应该是这样用：add(1)(2),最后结果都一样是3，这种方式（过程）就叫柯里化。

### 实现过程 ###

add(1)(2) 实际上是依次调用两个普通函数（非柯里化函数），第一次调用使用一个参数 x，返回一个函数类型的值，第二次使用参数y调用这个函数类型的值。

实质上最先演变成这样一个方法：

def add(x:Int)=(y:Int)=>x+y

那么这个函数是什么意思呢？ 接收一个x为参数，返回一个匿名函数，该匿名函数的定义是：接收一个Int型参数y，函数体为x+y。现在我们来对这个方法进行调用。

val result = add(1)

返回一个result，那result的值应该是一个匿名函数：(y:Int)=>1+y

所以为了得到结果，我们继续调用result。

val sum = result(2)

最后打印出来的结果就是3。

### 完整实例 ###

下面是一个完整实例：

object Test {
       
       def main(args: Array[String]) {
       
          val str1:String = "Hello, "
          val str2:String = "Scala!"
          println( "str1 + str2 = " +  strcat(str1)(str2) )
       }
    
       def strcat(s1: String)(s2: String) = {
       
          s1 + s2
       }
    }

执行以上代码，输出结果为：

$ scalac Test.scala
    $ scala Test
    str1 + str2 = Hello, Scala!

![Center 65][]

**![Center 66][]  
![Center 67][]注意前面的obj(Any类型)**

**![Center 68][]**

**![Center 69][]**

**![Center 70][]**

**![Center 71][]**

**![Center 72][]**

**![Center 73][]**

**![Center 74][]**

**![Center 75][]**

**![Center 76][]**

**对象不能带泛型。**

**![Center 77][]**

**![Center 78][]**

**![Center 79][]**

**发消息：act3 ！"你的消息"**

**![Center 80][]**

**![Center 81][]**

**![Center 82][]**

**Message应该定义为样例类：**

**abstract class AbstractMessage\{\}**

**case class Message(a:Int,b:Int,c:Actor) extends AbstractMessage\{\}**

**![Center 83][]**

**![Center 84][]**

**![Center 85][]**

**![Center 86][]**

**![Center 87][]**

**![Center 88][]**

**别忘了导包import scala.actors.Actor.\_**

**![Center 89][]**

**![Center 90][]**

**![Center 91][]**

**![Center 92][]**

**![Center 93][]**

**"=>"的用法：**

1. 表示函数的类型(Function Type)  
  
例如：

函数double的类型就是 (x: Int) => Int 或者 Int => Int  
  
备注： 当函数只有一个参数的时候，函数类型里面括起来函数参数的括号是可以省略的。  
  
使用函数的类型，就可以定义函数变量(Function Value/Function Variable)  
  
那么现在定义一个函数变量:  
  
var x : (Int) => Int = double  
  
2. 匿名函数(Anonymous functions/Function Literals/Lambda)  
  
例如：通过匿名函数定义一个函数变量xx  
  
var xx = (x: Int) => x + 1  
  
或者，给一个高阶函数，传递一个函数：  
  
val newList = List(1,2,3).map \{ (x: Int) => x \* 2 \}  
  
3. By-Name Parameters  
  
假设有如下两个函数：

<table style="border-collapse:collapse; border-spacing:0px; border:1px solid silver; width:1022px; word-break:break-word; margin:0px!important; padding:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; font-size:12px!important; min-height:auto!important; background:none!important"> 
 <tbody style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; background:none!important"> 
  <tr style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; background:none!important"> 
   <td style="padding:3px; border:1px solid silver; border-collapse:collapse; margin:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:35px!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(175,175,175)!important; background:none!important"> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      1 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      2 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      3 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      4 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      5 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      6 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      7 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      8 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      9 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      10 
    </div> </td> 
   <td style="padding:3px; border:1px solid silver; border-collapse:collapse; margin:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important"> 
    <div style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:relative!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; background:none!important"> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">def</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">doubles(x</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">:</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&gt; Int)&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">{ </code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">println(</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:blue!important; background:none!important">"Now doubling "</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">+ x)</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">x*</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,153,0)!important; background:none!important">2</code>&nbsp;&nbsp;&nbsp; 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">}</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
       &nbsp; 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
       &nbsp; 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">def</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">f(x</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">:</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">Int)</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">:</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">Int { </code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">println(s</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:blue!important; background:none!important">"Calling f($i)"</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">)</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">i</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">}</code> 
     </div> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

那么对于函数doubles而言，它的参数x就是by-name的。如果调用doubles的时候，直接给个普通的值或者非函数变量。那么doubles的执行结果就跟普通的函数没有区别。但是当把一个返回值为Int类型的函数，例如f(2)，传递给doubles的时候。那么f(2)会被先计算出返回值2，返回值2传入doubles参与运算。运算完成以后，f(2)会被doubles在执行以后，再调用一遍。  
  
4. case语句

<table style="border-collapse:collapse; border-spacing:0px; border:1px solid silver; width:1022px; word-break:break-word; margin:0px!important; padding:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; font-size:12px!important; min-height:auto!important; background:none!important"> 
 <tbody style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; background:none!important"> 
  <tr style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; background:none!important"> 
   <td style="padding:3px; border:1px solid silver; border-collapse:collapse; margin:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:35px!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(175,175,175)!important; background:none!important"> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      1 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      2 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      3 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      4 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      5 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      6 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important">
      7 
    </div> 
    <div style="margin:0px!important; padding:0px 0.5em!important; border-width:0px 2px 0px 0px!important; border-right-style:solid!important; border-right-color:rgb(108,226,108)!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; text-align:right!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important">
      8 
    </div> </td> 
   <td style="padding:3px; border:1px solid silver; border-collapse:collapse; margin:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important"> 
    <div style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.1em!important; outline:0px!important; overflow:visible!important; position:relative!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; background:none!important"> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">val</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">x&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,153,0)!important; background:none!important">10</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">val</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">y&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,153,0)!important; background:none!important">20</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">x</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">:</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">Int&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,153,0)!important; background:none!important">10</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">y</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">:</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">Int&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,153,0)!important; background:none!important">20</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">val</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">max&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">x &gt; y&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">match</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">{ </code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">case</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">true</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&gt; x</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">case</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">false</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">&gt; y</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important; background:none rgb(244,244,244)!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">}</code> 
     </div> 
     <div style="margin:0px!important; padding:0px 1em!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; min-height:auto!important; white-space:nowrap!important"> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">max</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">:</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; background:none!important">Int&nbsp;</code> 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,0,255)!important; background:none!important">=</code>&nbsp; 
      <code style="margin:0px!important; padding:0px!important; border:0px!important; bottom:auto!important; float:none!important; height:auto!important; left:auto!important; line-height:1.8em!important; outline:0px!important; overflow:visible!important; position:static!important; right:auto!important; top:auto!important; vertical-align:baseline!important; width:auto!important; font-family:Consolas,'Bitstream Vera Sans Mono','Courier New',Courier,monospace!important; min-height:auto!important; color:rgb(0,153,0)!important; background:none!important">20</code> 
     </div> 
    </div> </td> 
  </tr> 
 </tbody> 
</table>

[Center]: /images/20220603/21c23982d1a94c5fae98f80a8df9ecae.png
[Center 1]: /images/20220603/1dfa149619914cffb42e979d8e845c4e.png
[Center 2]: /images/20220603/6c30ff6ff07644ce9e165d4cae6797fc.png
[Center 3]: /images/20220603/68c0158d12d84b89ae337440513832b2.png
[Center 4]: /images/20220603/d9e8c195a4f04211839cbb75e5102afe.png
[Center 5]: /images/20220603/53fbe8f92aaf4dfd8fdee1e88d264cb9.png
[Center 6]: /images/20220603/8f31918dd5bb40648297e5fc469908a8.png
[Center 7]: /images/20220603/a9e7aa0e5b6e46d6bdd7c08ce61416c9.png
[182021358935515.png]: /images/20220603/ab0368f834f74c38a487f9785f3d1e99.png
[182112230965377.png]: /images/20220603/d7f4bc1e81894ff59abc8999c77255ee.png
[182152540964827.png]: /images/20220603/3a252c3f932245c9b813ec3fc8bf27f3.png
[182158071129165.png]: /images/20220603/904514e6c8e5414db1ae0696881d2b36.png
[182208358153427.png]: /images/20220603/40fcda8316fd44c5b23371366cf79e26.png
[182214366752315.png]: /images/20220603/9232011741e2444d9d3ff84c1f09fa92.png
[182219525656409.png]: /images/20220603/5283e472e83846ff8164949319db750b.png
[182226566591380.png]: /images/20220603/b0388b5e66374235b46651481530b482.png
[182230372534686.png]: /images/20220603/496e617f197a42ff88fdd221a2a19122.png
[182233140967169.png]: /images/20220603/aa4ee486e07b416697a61a2077907a27.png
[182242050653990.png]: /images/20220603/ef437acd92f94c88a90b83121c5aec3e.png
[182255244713366.png]: /images/20220603/79c29fad05f249599d6bc11cf6703373.png
[182256523152730.png]: /images/20220603/d10282140e7242e5880e218c74a5d821.png
[182300068313471.png]: /images/20220603/6bc20b842cfb4e20a3078e4611a4fdf0.png
[182306248468917.png]: /images/20220603/90d996af61c54bfcb392110d797cb818.png
[182333118315709.png]: /images/20220603/817aa95f21764765a2304c6d59883953.png
[182335304879348.png]: /images/20220603/c30cbcd155dc4b5f8b7038ec29a06904.png
[182341380962575.png]: /images/20220603/e6a6b45f987742dc93599f6c8aee3c06.png
[182345002065997.png]: /images/20220603/9f75461cf9104c48b6175766f0e90a17.png
[182353142844686.png]: /images/20220603/74af6fca3f6d4fe0b23ecbd5eea27cb6.png
[Center 8]: /images/20220603/13373ad436c94d6bab9e428d37e4b361.png
[Center 9]: /images/20220603/aa2d73290d7f4a0b862be974ccd7130c.png
[Center 10]: /images/20220603/ed635c89150c467bbc669405e3f87e11.png
[Center 11]: /images/20220603/a60d0ebf43c64dbcb9ca4ece6ca4f8d1.png
[Center 12]: /images/20220603/3c6d041e46cc4afbb9b67f7ab3f3e8a5.png
[Center 13]: /images/20220603/7fd63699cf0f4aa5b1236dbe267dcbdc.png
[Center 14]: /images/20220603/1fa96f3d83b743ca80c3276267030465.png
[Center 15]: /images/20220603/0afac1ff4f314706a1c3bf1520b445bb.png
[Center 16]: /images/20220603/c99ec8caa5cf40a7b78c274a74600200.png
[Center 17]: /images/20220603/7091c6b88fde42848a3b61098b94d4d9.png
[Center 18]: /images/20220603/118949bccd984de7b7913472ea90d8bb.png
[Center 19]: /images/20220603/24faa1fb9a1843af843af4c84ebe5a13.png
[Center 20]: /images/20220603/3c59ca9440a14a76af85631e3cbb9a3e.png
[Center 21]: /images/20220603/805a413475ce486bb7ff3a926fb433ff.png
[Center 22]: /images/20220603/98841b97c7074fa2a8b341c89868a0f2.png
[Center 23]: /images/20220603/1bff2c4f2be041bda6f36549c61d1b87.png
[Center 24]: /images/20220603/85dbc10b815240138e93a52c22a6e4bd.png
[Center 25]: /images/20220603/6129826cec674916b82b8ee7b4535b52.png
[Center 26]: /images/20220603/47eb7ade7d9a43bba9c170a2c27cba23.png
[Center 27]: /images/20220603/212d59d6b2dc4752a2307d95ca63c7bb.png
[Center 28]: /images/20220603/01e73521976c432cbb3cdab54530aa9d.png
[Center 29]: /images/20220603/bf22fe45d9e047be9c25bfdb702e0900.png
[Center 30]: /images/20220603/38b2f4423e1f49099f21b1b931e5f943.png
[Center 31]: /images/20220603/00a53c881a684743aba6c0e161c88120.png
[Center 32]: /images/20220603/292587f5d0f844bdbb1e80da4d54a488.png
[Center 33]: /images/20220603/877dd76a96294dea8cbcb721c80fb789.png
[Center 34]: /images/20220603/1ef21d1d4caf40f5b1f7f56f81d52854.png
[Center 35]: /images/20220603/849bfff5b49d4859a3a9a54b68c427ee.png
[Center 36]: /images/20220603/ac18bad1dc0347ef8f4c400a02948b79.png
[Center 37]: /images/20220603/f52a60f6c0834a59ac15e2d1e347910f.png
[Center 38]: /images/20220603/5dfdd357a36a47cf89c61dab0a81ad7c.png
[Center 39]: /images/20220603/da1ca1f2a4864120bcceb83066bee99c.png
[Center 40]: /images/20220603/8367316f8680445fa472e50326cb224b.png
[Center 41]: /images/20220603/cc291a37171b4c54a0347fbf4bbaa909.png
[Center 42]: /images/20220603/e4dfe378b4ef4abab8bf199779874430.png
[Center 43]: /images/20220603/37ce18755b784b1bb75896ab569d1b38.png
[Center 44]: /images/20220603/7121e76130d8437eba38dd24931d7e8f.png
[Center 45]: /images/20220603/5cf9dc875df148138b4d52757d2bab4a.png
[Center 46]: /images/20220603/8685a9f9e2b34a8ca3a200a54c268197.png
[Center 47]: /images/20220603/4466ac02b47842d6976416f487afb2d8.png
[Center 48]: /images/20220603/81d0f3ffd8e44d3a89fc38aa94ffda7a.png
[Center 49]: /images/20220603/e8b8b68b9be3423fbbc5a3fc2df1a03b.png
[Center 50]: /images/20220603/fd2c85c6c8354275a1069fc4a748ed37.png
[Center 51]: /images/20220603/4612e75dfb8d4ccb8909085424ef3907.png
[Center 52]: /images/20220603/04e4db47d34d425ebbf53f017d691ba6.png
[Center 53]: /images/20220603/b64868be9284426bb4d70b526081a0f9.png
[Center 54]: /images/20220603/f05ca17ab0f245e2a27ed3ec1042895e.png
[Center 55]: /images/20220603/81aafb04dc06439eab409ba30a27416c.png
[Center 56]: /images/20220603/ff20aa833e90441d9610de37a5c27335.png
[Center 57]: /images/20220603/7a6de493d96640699644dd09d0a75143.png
[Center 58]: /images/20220603/cd909184f80f4fe1b4d81a9c631c5849.png
[Center 59]: /images/20220603/8889bb028cfe401e8f82e13a9bb7404b.png
[Center 60]: /images/20220603/aa08f0b318e244879a762adaec08b065.png
[Center 61]: /images/20220603/29f5c75f96c94f83ba50873686f86cf1.png
[Center 62]: /images/20220603/7878523ea728451cacbe04d3d3582699.png
[Center 63]: /images/20220603/17bcca78879a44d98bd98eaa8eca19b6.png
[Center 64]: /images/20220603/492a985add614cd8aff308db6eb0a89c.png
[Image 1]: 
[Scala]: http://www.runoob.com/images/up.gif
[Scala _Scala_Scala]: /images/20220603/e2fea210fbb742dbab8bd88b275d70c7.png
[Center 65]: /images/20220603/e01b7a86a1094dc48e20665175d936aa.png
[Center 66]: /images/20220603/1bf3a8857e41452e8deae8fa77ef0030.png
[Center 67]: /images/20220603/a21eef0f387d469fa5ac5243fefa4a06.png
[Center 68]: /images/20220603/3aaea59778de42ce866641061324a898.png
[Center 69]: /images/20220603/3f9cdb86505c4b41a97490d93357b9bc.png
[Center 70]: /images/20220603/e869e62447d447e78df588ee40751188.png
[Center 71]: /images/20220603/2e959efb8e98497e9e93d75b3ce407fa.png
[Center 72]: /images/20220603/35ff4d1f3ce14847bb102047ed6c4247.png
[Center 73]: /images/20220603/615992b25b4d4e4fb161f63dccc7f4dd.png
[Center 74]: /images/20220603/723777a9e67941f88a8be1e2acb91b59.png
[Center 75]: /images/20220603/ed931a34f1ac4257a804112a2cf5fbe8.png
[Center 76]: /images/20220603/8cf330a9ef504b3186b0dfca4fb79afb.png
[Center 77]: /images/20220603/c873721262f545418e97722b5292319d.png
[Center 78]: /images/20220603/d53ba5e8396d412dbeaad3322d550b18.png
[Center 79]: /images/20220603/c84d1c0e5ba24234ad8776cc7a716b6d.png
[Center 80]: /images/20220603/74e411931c344e908c911cef9d8b5595.png
[Center 81]: /images/20220603/6b03b462d4004bd2ae9036633761ab18.png
[Center 82]: /images/20220603/7d70670312c74c368962943e699bf2b6.png
[Center 83]: /images/20220603/e6f7aac8fb324127b3f5363f2ffcc258.png
[Center 84]: /images/20220603/beab5958bc0e4bfba0e8b12de47039a2.png
[Center 85]: /images/20220603/e14f27fda8724d059577a8e044e3d706.png
[Center 86]: /images/20220603/3443d45b713e49cea993606d431d700b.png
[Center 87]: /images/20220603/01dc257ff0a6406fbc5899f5669877c1.png
[Center 88]: /images/20220603/d3d32ba5a6ca4248859191d231f12105.png
[Center 89]: /images/20220603/4c1895c1b7d44615a427ecd5ae1d04ea.png
[Center 90]: /images/20220603/3bd32c05675741aab50e4b3a05fbd3aa.png
[Center 91]: /images/20220603/9a81bb6c7a15488bbb2d3afaff2e932f.png
[Center 92]: /images/20220603/6af9bc9683814517936c6d5b366f1b83.png
[Center 93]: /images/20220603/f0cdce715bd24f3f89298c7672515bc7.png