Java Doc for JMLInfiniteInteger.java in » Testing » KeY » org » jmlspecs » models » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation

1.	6.0 JDK Core
2.	6.0 JDK Modules
3.	6.0 JDK Modules com.sun
4.	6.0 JDK Modules com.sun.java
5.	6.0 JDK Modules sun
6.	6.0 JDK Platform
7.	Ajax
8.	Apache Harmony Java SE
9.	Aspect oriented
10.	Authentication Authorization
11.	Blogger System
12.	Build
13.	Byte Code
14.	Cache
15.	Chart
16.	Chat
17.	Code Analyzer
18.	Collaboration
19.	Content Management System
20.	Database Client
21.	Database DBMS
22.	Database JDBC Connection Pool
23.	Database ORM
24.	Development
25.	EJB Server geronimo
26.	EJB Server GlassFish
27.	EJB Server JBoss 4.2.1
28.	EJB Server resin 3.1.5
29.	ERP CRM Financial
30.	ESB
31.	Forum
32.	GIS
33.	Graphic Library
34.	Groupware
35.	HTML Parser
36.	IDE
37.	IDE Eclipse
38.	IDE Netbeans
39.	Installer
40.	Internationalization Localization
41.	Inversion of Control
42.	Issue Tracking
43.	J2EE
44.	JBoss
45.	JMS
46.	JMX
47.	Library
48.	Mail Clients
49.	Net
50.	Parser
51.	PDF
52.	Portal
53.	Profiler
54.	Project Management
55.	Report
56.	RSS RDF
57.	Rule Engine
58.	Science
59.	Scripting
60.	Search Engine
61.	Security
62.	Sevlet Container
63.	Source Control
64.	Swing Library
65.	Template Engine
66.	Test Coverage
67.	Testing
68.	UML
69.	Web Crawler
70.	Web Framework
71.	Web Mail
72.	Web Server
73.	Web Services
74.	Web Services apache cxf 2.0.1
75.	Web Services AXIS2
76.	Wiki Engine
77.	Workflow Engines
78.	XML
79.	XML UI

Java

Java Tutorial

Illustrator Tutorials

GIMP Tutorials

C# / C Sharp

C# / CSharp Tutorial

C# / CSharp Open Source

SQL Server / T-SQL Tutorial

Oracle PL / SQL

Oracle PL/SQL Tutorial

Flash / Flex / ActionScript

VBA / Excel / Access / Word

XML

XML Tutorial

Microsoft Office PowerPoint 2007 Tutorial

Microsoft Office Excel 2007 Tutorial

Microsoft Office Word 2007 Tutorial

Java Source Code / Java Documentation » Testing » KeY » org.jmlspecs.models

Source Cross Reference

Class Diagram

Java Document (Java Doc)

org.jmlspecs.models .JMLInfiniteInteger

All known Subclasses:   org.jmlspecs.models .JMLInfiniteIntegerClass,
JMLInfiniteInteger
public interface JMLInfiniteInteger extends JMLComparable(Code)
Infinite precision integers with an plus and minus infinity.
This type is intended to support reasoning like that done by Eric Hehner for the time behavior of programs. Of course, it could also be used for other purposes as well.
version:
   $Revision: 1.1 $
author:
   Gary T. Leavens
See Also:   java.math.BigInteger

Method Summary
JMLInfiniteInteger abs()
     Return the absolute value of this integer.
JMLInfiniteInteger add(JMLInfiniteInteger n)
     Return the sum of this integer and the argument.
int compareTo(Object o)
     Compare this to o, returning a comparison code.
JMLInfiniteInteger divide(JMLInfiniteInteger n)
     Return the quotient of this integer divided by the argument.
double doubleValue()
     Return this integer approximated by a double.
boolean equals(Object o)
     Tell whether this integer is equal to the argument.
BigInteger finiteValue()
     Assuming this integer is finite, return its value.
float floatValue()
     Return this integer approximated by a float.
boolean greaterThan(JMLInfiniteInteger n)
     Tell if this integer is strictly greater than the argument.
boolean greaterThanOrEqualTo(JMLInfiniteInteger n)
     Tell if this integer is greater than or equal to the argument.
int hashCode()
     Return a hash code for this integer.
boolean isFinite()
     Tell if this integer is finite.
boolean lessThan(JMLInfiniteInteger n)
     Tell if this integer is strictly less than the argument.
boolean lessThanOrEqualTo(JMLInfiniteInteger n)
     Tell if this integer is less than or equal to the argument.
JMLInfiniteInteger max(JMLInfiniteInteger n)
     Return the maximum of this integer and the argument.
JMLInfiniteInteger min(JMLInfiniteInteger n)
     Return the minimum of this integer and the argument.
JMLInfiniteInteger mod(JMLInfiniteInteger n)
     Return this integer modulo the argument.
JMLInfiniteInteger multiply(JMLInfiniteInteger n)
     Return the product of this integer and the argument.
JMLInfiniteInteger negate()
     Return the negation of this integer.
JMLInfiniteInteger pow(int n)
     Return this integer raised to the argument's power.
JMLInfiniteInteger remainder(JMLInfiniteInteger n)
     Return the remainder of this integer divided by the argument.
int signum()
     Return the sign of this integer.
JMLInfiniteInteger subtract(JMLInfiniteInteger n)
     Return the difference between this integer and the argument.
String toString()
     Return the decimal representation of this integer.
String toString(int radix)
     Return the digits representing this integer in the given radix.

Method Detail
abs
JMLInfiniteInteger abs()(Code)
Return the absolute value of this integer.
See Also:   JMLInfiniteInteger.negate

add
JMLInfiniteInteger add(JMLInfiniteInteger n)(Code)
Return the sum of this integer and the argument.
See Also:   JMLInfiniteInteger.subtract

compareTo
int compareTo(Object o) throws ClassCastException(Code)
Compare this to o, returning a comparison code.
Parameters:
  o - the object this is compared to.
exception:
  ClassCastException - when o is nota JMLInfiniteInteger or a BigInteger.
See Also:   JMLInfiniteInteger.equals(Object)
See Also:   JMLInfiniteInteger.greaterThanOrEqualTo
See Also:   JMLInfiniteInteger.greaterThan
See Also:   JMLInfiniteInteger.lessThanOrEqualTo
See Also:   JMLInfiniteInteger.lessThan

divide
JMLInfiniteInteger divide(JMLInfiniteInteger n) throws ArithmeticException(Code)
Return the quotient of this integer divided by the argument.
See Also:   JMLInfiniteInteger.multiply
See Also:   JMLInfiniteInteger.remainder
See Also:   JMLInfiniteInteger.mod

doubleValue
double doubleValue()(Code)
Return this integer approximated by a double.
See Also:   JMLInfiniteInteger.floatValue

equals
boolean equals(Object o)(Code)
Tell whether this integer is equal to the argument. Note that comparisons to BigIntegers are also handled.
See Also:   JMLInfiniteInteger.compareTo(Object)
See Also:   JMLInfiniteInteger.greaterThanOrEqualTo
See Also:   JMLInfiniteInteger.greaterThan
See Also:   JMLInfiniteInteger.lessThanOrEqualTo
See Also:   JMLInfiniteInteger.lessThan

finiteValue
BigInteger finiteValue() throws ArithmeticException(Code)
Assuming this integer is finite, return its value.

floatValue
float floatValue()(Code)
Return this integer approximated by a float.
See Also:   JMLInfiniteInteger.doubleValue

greaterThan
boolean greaterThan(JMLInfiniteInteger n)(Code)
Tell if this integer is strictly greater than the argument.
See Also:   JMLInfiniteInteger.equals(Object)
See Also:   JMLInfiniteInteger.compareTo(Object)
See Also:   JMLInfiniteInteger.greaterThanOrEqualTo
See Also:   JMLInfiniteInteger.lessThanOrEqualTo
See Also:   JMLInfiniteInteger.lessThan

greaterThanOrEqualTo
boolean greaterThanOrEqualTo(JMLInfiniteInteger n)(Code)
Tell if this integer is greater than or equal to the argument.
See Also:   JMLInfiniteInteger.equals(Object)
See Also:   JMLInfiniteInteger.compareTo(Object)
See Also:   JMLInfiniteInteger.greaterThan
See Also:   JMLInfiniteInteger.lessThanOrEqualTo
See Also:   JMLInfiniteInteger.lessThan

hashCode
int hashCode()(Code)
Return a hash code for this integer.

isFinite
boolean isFinite()(Code)
Tell if this integer is finite.

lessThan
boolean lessThan(JMLInfiniteInteger n)(Code)
Tell if this integer is strictly less than the argument.
See Also:   JMLInfiniteInteger.equals(Object)
See Also:   JMLInfiniteInteger.compareTo(Object)
See Also:   JMLInfiniteInteger.greaterThanOrEqualTo
See Also:   JMLInfiniteInteger.greaterThan
See Also:   JMLInfiniteInteger.lessThanOrEqualTo

lessThanOrEqualTo
boolean lessThanOrEqualTo(JMLInfiniteInteger n)(Code)
Tell if this integer is less than or equal to the argument.
See Also:   JMLInfiniteInteger.equals(Object)
See Also:   JMLInfiniteInteger.compareTo(Object)
See Also:   JMLInfiniteInteger.greaterThanOrEqualTo
See Also:   JMLInfiniteInteger.greaterThan
See Also:   JMLInfiniteInteger.lessThan

max
JMLInfiniteInteger max(JMLInfiniteInteger n)(Code)
Return the maximum of this integer and the argument.
See Also:   JMLInfiniteInteger.min

min
JMLInfiniteInteger min(JMLInfiniteInteger n)(Code)
Return the minimum of this integer and the argument.
See Also:   JMLInfiniteInteger.max

mod
JMLInfiniteInteger mod(JMLInfiniteInteger n) throws ArithmeticException(Code)
Return this integer modulo the argument.
See Also:   JMLInfiniteInteger.divide
See Also:   JMLInfiniteInteger.remainder

multiply
JMLInfiniteInteger multiply(JMLInfiniteInteger n)(Code)
Return the product of this integer and the argument.
See Also:   JMLInfiniteInteger.divide
See Also:   JMLInfiniteInteger.remainder
See Also:   JMLInfiniteInteger.mod

negate
JMLInfiniteInteger negate()(Code)
Return the negation of this integer.
See Also:   JMLInfiniteInteger.abs
See Also:   JMLInfiniteInteger.subtract

pow
JMLInfiniteInteger pow(int n) throws ArithmeticException(Code)
Return this integer raised to the argument's power.

remainder
JMLInfiniteInteger remainder(JMLInfiniteInteger n) throws ArithmeticException(Code)
Return the remainder of this integer divided by the argument.
See Also:   JMLInfiniteInteger.divide
See Also:   JMLInfiniteInteger.mod

signum
int signum()(Code)
Return the sign of this integer.

subtract
JMLInfiniteInteger subtract(JMLInfiniteInteger n)(Code)
Return the difference between this integer and the argument.
See Also:   JMLInfiniteInteger.add
See Also:   JMLInfiniteInteger.negate

toString
String toString()(Code)
Return the decimal representation of this integer.
See Also:   JMLInfiniteInteger.toString(int)

toString
String toString(int radix)(Code)
Return the digits representing this integer in the given radix.
See Also:   JMLInfiniteInteger.toString()

www.java2java.com | Contact Us

All other trademarks are property of their respective owners.