户手册(一)
Nice用户手册
Daniel Bonniot
Bryn Keller
Francis Barber
Fido Dido目录
目录
序
1、基本原理(philosophy)
2、包
main方法
3、类与接口
类声明
数据成员
构造器
参数类(parametric classes)
接口声明
枚举类
4、方法
方法声明
方法实现
值分派(value dispatch)
有名参数(named parameters)
可选参数(optional parameters)
5、断言与契约(contract)
语法
使用断言与契约检查
JDK 1.4及以上版本
JDK 1.1,1.2和1.3
6、语句
本地变量与本地常量(local variables and constants)
包变量与包常量(package variables and constants)
扩展for语句
本地方法(local methods)
7、表达式
方法调用
方法块调用(Block Syntax for Method Calls)
元组(tuples)
数组
字符串
多行字符串(multi-line Strings)
字符串连接
匿名方法(anonymous methods)
操作符
原始类型之间的转换
8、与Java交互
在Java中使用Nice
生成Java的子类
包导入
非空类型(option types,直译有点困难)
在Nice中使用Java
方法调用
构造器调用
完整实例
可选参数
其它
9、类型
非空类型
类型转换
类型参数(type parameters)
抽象接口(abstract interfaces)
Nice用户手册
Daniel Bonniot
Bryn Keller
Francis Barber
Fido Dido目录
目录
序
1、基本原理(philosophy)
2、包
main方法
3、类与接口
类声明
数据成员
构造器
参数类(parametric classes)
接口声明
枚举类
4、方法
方法声明
方法实现
值分派(value dispatch)
有名参数(named parameters)
可选参数(optional parameters)
5、断言与契约(contract)
语法
使用断言与契约检查
JDK 1.4及以上版本
JDK 1.1,1.2和1.3
6、语句
本地变量与本地常量(local variables and constants)
包变量与包常量(package variables and constants)
扩展for语句
本地方法(local methods)
7、表达式
方法调用
方法块调用(Block Syntax for Method Calls)
元组(tuples)
数组
字符串
多行字符串(multi-line Strings)
字符串连接
匿名方法(anonymous methods)
操作符
原始类型之间的转换
8、与Java交互
在Java中使用Nice
生成Java的子类
包导入
非空类型(option types,直译有点困难)
在Nice中使用Java
方法调用
构造器调用
完整实例
可选参数
其它
9、类型
非空类型
类型转换
类型参数(type parameters)
抽象接口(abstract interfaces)