Changeset 2150
- Timestamp:
- 07/01/08 07:53:30 (3 months ago)
- Files:
-
- trunk/Library/FortressLibrary.fsi (modified) (1 diff)
- trunk/Library/FortressLibrary.fss (modified) (2 diffs)
- trunk/ProjectFortress/LibraryBuiltin/FortressBuiltin.fss (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/Library/FortressLibrary.fsi
r2005 r2150 712 712 end 713 713 714 object IndexOutOfBounds extends UncheckedException714 object IndexOutOfBounds(min:ZZ32,max:ZZ32,index:ZZ32) extends UncheckedException 715 715 end 716 716 trunk/Library/FortressLibrary.fss
r2052 r2150 933 933 934 934 object DivisionByZero extends UncheckedException 935 toString(): String = "Division by zero" 935 936 end 936 937 937 938 object UnpastingError extends UncheckedException 939 toString(): String = "Unpasting error" 938 940 end 939 941 940 942 object CallerViolation extends UncheckedException 943 toString(): String = "Caller violation" 941 944 end 942 945 943 946 object CalleeViolation extends UncheckedException 947 toString(): String = "Callee violation" 944 948 end 945 949 946 950 object TestFailure extends UncheckedException 951 toString(): String = "Test failure" 947 952 end 948 953 949 954 object ContractHierarchyViolation extends UncheckedException 955 toString(): String = "Contract hierarchy violation" 950 956 end 951 957 952 958 object NoEqualityOnFunctions extends UncheckedException 959 toString(): String = "No equality on functions" 953 960 end 954 961 955 962 object InvalidRange extends UncheckedException 963 toString(): String = "Invalid range" 956 964 end 957 965 958 966 object ForbiddenException(chain : Exception) extends UncheckedException 967 toString(): String = "Forbidden exception" 959 968 end 960 969 961 970 (* Should this be called "IndexNotFound" instead? *) 962 971 object NotFound extends UncheckedException 963 end 964 965 object IndexOutOfBounds extends UncheckedException 972 toString(): String = "Not found" 973 end 974 975 object IndexOutOfBounds(min:ZZ32,max:ZZ32,index:ZZ32) extends UncheckedException 976 toString(): String = index " is outside the range " min " to " max 966 977 end 967 978 968 979 object NegativeLength extends UncheckedException 980 toString(): String = "Negative length" 969 981 end 970 982 971 983 object IntegerOverflow extends UncheckedException 984 toString(): String = "Integer Overflow" 972 985 end 973 986 974 987 object RationalComparisonError extends UncheckedException 988 toString(): String = "Rational comparison error" 975 989 end 976 990 977 991 object FloatingComparisonError extends UncheckedException 992 toString(): String = "Floating comparison error" 978 993 end 979 994 … … 984 999 985 1000 object CastError extends CheckedException 1001 toString(): String = "Cast error" 986 1002 end 987 1003 988 1004 object IOFailure extends CheckedException 1005 toString(): String = "I/O error" 989 1006 end 990 1007 991 1008 object MatchFailure extends CheckedException 1009 toString(): String = "Match failure" 992 1010 end 993 1011 994 1012 (* SetsNotDisjoint? *) 995 1013 object DisjointUnionError extends CheckedException 1014 toString(): String = "Disjoint union error" 996 1015 end 997 1016 998 1017 object APIMissing extends CheckedException 1018 toString(): String = "Api is missing" 999 1019 end 1000 1020 1001 1021 object APINameCollision extends CheckedException 1022 toString(): String = "Api name collides with another" 1002 1023 end 1003 1024 1004 1025 object ExportedAPIMissing extends CheckedException 1026 toString(): String = "Exported api is missing" 1005 1027 end 1006 1028 1007 1029 object HiddenAPIMissing extends CheckedException 1030 toString(): String = "Hidden api is missing" 1008 1031 end 1009 1032 1010 1033 object TryAtomicFailure extends CheckedException 1034 toString(): String = "Try/atomic failure" 1011 1035 end 1012 1036 1013 1037 (* Should take a spawned thread as an argument *) 1014 1038 object AtomicSpawnSynchronization extends {UncheckedException} 1039 toString(): String = "Atomic spawn synchronization" 1015 1040 end 1016 1041 trunk/ProjectFortress/LibraryBuiltin/FortressBuiltin.fss
r1771 r2150 202 202 if 0 <= i < |self| 203 203 then get(i) 204 else throw IndexOutOfBounds 204 else throw IndexOutOfBounds(0,(|self|)-1,i) 205 205 end 206 206 (** get skips bounds checking. **)
