Java Doc for JMLValueSequence.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
Java Open Source
Jar File Download
Java Articles
Java Products
Java by API
Photoshop Tutorials
Maya Tutorials
Flash Tutorials
3ds-Max Tutorials
Illustrator Tutorials
GIMP Tutorials
C# / C Sharp
C# / CSharp Tutorial
C# / CSharp Open Source
ASP.Net
ASP.NET Tutorial
JavaScript DHTML
JavaScript Tutorial
JavaScript Reference
HTML / CSS
HTML CSS Reference
C / ANSI-C
C Tutorial
C++
C++ Tutorial
Ruby
PHP
Python
Python Tutorial
Python Open Source
SQL Server / T-SQL
SQL Server / T-SQL Tutorial
Oracle PL / SQL
Oracle PL/SQL Tutorial
PostgreSQL
SQL / MySQL
MySQL Tutorial
VB.Net
VB.Net 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)
java.lang
.Object
org.jmlspecs.models
.JMLValueSequenceSpecs
org.jmlspecs.models
.JMLValueSequence
JMLValueSequence
public
class JMLValueSequence extends
JMLValueSequenceSpecs
implements
JMLCollection
(Code)
Field Summary
final
public
static
JMLValueSequence
EMPTY
final
protected
BigInteger
_length
This sequence's length.
final
protected
JMLListValueNode
theSeq
The list representing this sequence's elements, in order.
Constructor Summary
public
JMLValueSequence
()
Initialize this to be the empty sequence.
public
JMLValueSequence
(
JMLType
e)
protected
JMLValueSequence
(
JMLListValueNode
ls, int len)
Method Summary
public
Object
clone
()
public
JMLValueSequence
concat
(
JMLValueSequence
s2)
public
boolean
containsAll
(
java.util.Collection
c)
public
static
JMLValueSequence
convertFrom
(
JMLType
[] a)
public
static
JMLValueSequence
convertFrom
(
JMLType
[] a, int size)
public
static
JMLValueSequence
convertFrom
(
java.util.Collection
c)
public
static
JMLValueSequence
convertFrom
(
JMLCollection
c)
public
int
count
(
JMLType
item)
public
JMLValueSequenceEnumerator
elements
()
public
boolean
equals
(
Object
obj)
public
JMLType
first
()
public
JMLType
get
(int i)
public
boolean
has
(
JMLType
elem)
public
int
hashCode
()
public
JMLValueSequence
header
()
public
int
indexOf
(
JMLType
item)
public
JMLValueSequence
insertAfterIndex
(int afterThisOne,
JMLType
item)
public
JMLValueSequence
insertBack
(
JMLType
item)
public
JMLValueSequence
insertBeforeIndex
(int beforeThisOne,
JMLType
item)
public
JMLValueSequence
insertFront
(
JMLType
item)
public
int
int_length
()
public
int
int_size
()
public
boolean
isDeletionFrom
(
JMLValueSequence
s2,
JMLType
elem)
public
boolean
isEmpty
()
public
boolean
isInsertionInto
(
JMLValueSequence
s2,
JMLType
elem)
public
boolean
isPrefix
(
JMLValueSequence
s2)
public
boolean
isProperPrefix
(
JMLValueSequence
s2)
public
boolean
isProperSubsequence
(
JMLValueSequence
s2)
public
boolean
isProperSuffix
(
JMLValueSequence
s2)
public
boolean
isProperSupersequence
(
JMLValueSequence
s2)
public
boolean
isSubsequence
(
JMLValueSequence
s2)
public
boolean
isSuffix
(
JMLValueSequence
s2)
public
boolean
isSupersequence
(
JMLValueSequence
s2)
public
JMLType
itemAt
(int i)
public
JMLIterator
iterator
()
public
JMLType
last
()
public
JMLValueSequence
prefix
(int n)
public
JMLValueSequence
removeItemAt
(int index)
public
JMLValueSequence
removePrefix
(int n)
public
JMLValueSequence
replaceItemAt
(int index,
JMLType
item)
public
JMLValueSequence
reverse
()
public
static
JMLValueSequence
singleton
(
JMLType
e)
public
JMLValueSequence
subsequence
(int from, int to)
public
JMLType
[]
toArray
()
public
JMLValueBag
toBag
()
public
JMLValueSet
toSet
()
public
String
toString
()
public
JMLValueSequence
trailer
()
Field Detail
EMPTY
final
public
static
JMLValueSequence
EMPTY
(Code)
_length
final
protected
BigInteger
_length
(Code)
This sequence's length.
theSeq
final
protected
JMLListValueNode
theSeq
(Code)
The list representing this sequence's elements, in order.
Constructor Detail
JMLValueSequence
public
JMLValueSequence()
(Code)
Initialize this to be the empty sequence.
See Also:
JMLValueSequence.EMPTY
JMLValueSequence
public
JMLValueSequence(
JMLType
e)
(Code)
JMLValueSequence
protected
JMLValueSequence(
JMLListValueNode
ls, int len)
(Code)
Method Detail
clone
public
Object
clone()
(Code)
concat
public
JMLValueSequence
concat(
JMLValueSequence
s2)
(Code)
containsAll
public
boolean containsAll(
java.util.Collection
c)
(Code)
convertFrom
public
static
JMLValueSequence
convertFrom(
JMLType
[] a)
(Code)
convertFrom
public
static
JMLValueSequence
convertFrom(
JMLType
[] a, int size)
(Code)
convertFrom
public
static
JMLValueSequence
convertFrom(
java.util.Collection
c) throws
ClassCastException
(Code)
convertFrom
public
static
JMLValueSequence
convertFrom(
JMLCollection
c) throws
ClassCastException
(Code)
count
public
int count(
JMLType
item)
(Code)
elements
public
JMLValueSequenceEnumerator
elements()
(Code)
equals
public
boolean equals(
Object
obj)
(Code)
first
public
JMLType
first() throws
JMLSequenceException
(Code)
get
public
JMLType
get(int i) throws
IndexOutOfBoundsException
(Code)
has
public
boolean has(
JMLType
elem)
(Code)
hashCode
public
int hashCode()
(Code)
header
public
JMLValueSequence
header() throws
JMLSequenceException
(Code)
indexOf
public
int indexOf(
JMLType
item) throws
JMLSequenceException
(Code)
insertAfterIndex
public
JMLValueSequence
insertAfterIndex(int afterThisOne,
JMLType
item) throws
JMLSequenceException
,
IllegalStateException
(Code)
insertBack
public
JMLValueSequence
insertBack(
JMLType
item) throws
IllegalStateException
(Code)
insertBeforeIndex
public
JMLValueSequence
insertBeforeIndex(int beforeThisOne,
JMLType
item) throws
JMLSequenceException
,
IllegalStateException
(Code)
insertFront
public
JMLValueSequence
insertFront(
JMLType
item) throws
IllegalStateException
(Code)
int_length
public
int int_length()
(Code)
int_size
public
int int_size()
(Code)
isDeletionFrom
public
boolean isDeletionFrom(
JMLValueSequence
s2,
JMLType
elem)
(Code)
isEmpty
public
boolean isEmpty()
(Code)
isInsertionInto
public
boolean isInsertionInto(
JMLValueSequence
s2,
JMLType
elem)
(Code)
isPrefix
public
boolean isPrefix(
JMLValueSequence
s2)
(Code)
isProperPrefix
public
boolean isProperPrefix(
JMLValueSequence
s2)
(Code)
isProperSubsequence
public
boolean isProperSubsequence(
JMLValueSequence
s2)
(Code)
isProperSuffix
public
boolean isProperSuffix(
JMLValueSequence
s2)
(Code)
isProperSupersequence
public
boolean isProperSupersequence(
JMLValueSequence
s2)
(Code)
isSubsequence
public
boolean isSubsequence(
JMLValueSequence
s2)
(Code)
isSuffix
public
boolean isSuffix(
JMLValueSequence
s2)
(Code)
isSupersequence
public
boolean isSupersequence(
JMLValueSequence
s2)
(Code)
itemAt
public
JMLType
itemAt(int i) throws
JMLSequenceException
(Code)
iterator
public
JMLIterator
iterator()
(Code)
last
public
JMLType
last() throws
JMLSequenceException
(Code)
prefix
public
JMLValueSequence
prefix(int n) throws
JMLSequenceException
(Code)
removeItemAt
public
JMLValueSequence
removeItemAt(int index) throws
JMLSequenceException
(Code)
removePrefix
public
JMLValueSequence
removePrefix(int n) throws
JMLSequenceException
(Code)
replaceItemAt
public
JMLValueSequence
replaceItemAt(int index,
JMLType
item) throws
JMLSequenceException
(Code)
reverse
public
JMLValueSequence
reverse()
(Code)
singleton
public
static
JMLValueSequence
singleton(
JMLType
e)
(Code)
subsequence
public
JMLValueSequence
subsequence(int from, int to) throws
JMLSequenceException
(Code)
toArray
public
JMLType
[] toArray()
(Code)
toBag
public
JMLValueBag
toBag()
(Code)
toSet
public
JMLValueSet
toSet()
(Code)
toString
public
String
toString()
(Code)
trailer
public
JMLValueSequence
trailer() throws
JMLSequenceException
(Code)
Methods inherited from
org.jmlspecs.models.JMLValueSequenceSpecs
abstract
public
Object
clone()
(Code)
(Java Doc)
abstract
public
int count(
JMLType
elem)
(Code)
(Java Doc)
public
int count(
Object
elem)
(Code)
(Java Doc)
abstract
public
JMLType
first() throws
JMLSequenceException
(Code)
(Java Doc)
abstract
public
boolean has(
JMLType
elem)
(Code)
(Java Doc)
public
boolean has(
Object
elem)
(Code)
(Java Doc)
abstract
public
JMLValueSequence
insertAfterIndex(int afterThisOne,
JMLType
item) throws
JMLSequenceException
(Code)
(Java Doc)
abstract
public
JMLValueSequence
insertBack(
JMLType
item)
(Code)
(Java Doc)
abstract
public
JMLValueSequence
insertBeforeIndex(int beforeThisOne,
JMLType
item) throws
JMLSequenceException
(Code)
(Java Doc)
abstract
public
JMLValueSequence
insertFront(
JMLType
item)
(Code)
(Java Doc)
abstract
public
int int_length()
(Code)
(Java Doc)
abstract
public
JMLType
itemAt(int i) throws
JMLSequenceException
(Code)
(Java Doc)
abstract
public
JMLType
last() throws
JMLSequenceException
(Code)
(Java Doc)
Methods inherited from
java.lang.Object
protected
Object
clone() throws
CloneNotSupportedException
(Code)
(Java Doc)
public
boolean equals(
Object
o)
(Code)
(Java Doc)
protected
void finalize() throws
Throwable
(Code)
(Java Doc)
final native
public
Class
getClass()
(Code)
(Java Doc)
public
int hashCode()
(Code)
(Java Doc)
final
public
void notify() throws
IllegalMonitorStateException
(Code)
(Java Doc)
final
public
void notifyAll() throws
IllegalMonitorStateException
(Code)
(Java Doc)
public
String
toString()
(Code)
(Java Doc)
final
public
void wait() throws
IllegalMonitorStateException
,
InterruptedException
(Code)
(Java Doc)
final
public
void wait(long ms) throws
IllegalMonitorStateException
,
InterruptedException
(Code)
(Java Doc)
final
public
void wait(long ms, int ns) throws
IllegalMonitorStateException
,
InterruptedException
(Code)
(Java Doc)
www.java2java.com
|
Contact Us
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.