Product
About
Support
Documentation
Downloads
Help
Status
Login
Login avatar
Cocotec
Cocotec
All systems go
Coco Tooling
›
API
›
Java API
›
Javadoc
›
io.cocotec.coco.platform.coco
›
BehaviourComparisonCounterexample
Choose a version:
Version: 1.5 (beta)
Version: Testing (beta)
Version: Stable
Version: 1.4
Version: 1
Version: 1.3
Version: 1.2
Version: 1.1
Version: 1.0
Introduction
Getting Started
Coco Language Reference
Coco Tutorial
Coco C++
Coco Tooling
Eclipse
Command-Line Tools
API
.NET API
Java API
Javadoc
Installing
Getting Started
EMF
Implementation
Licensing
General Advice
Schemas
Status
Versioning
Release Notes
Index
Coco Platform Documentation
BehaviourComparisonCounterexample
¶
public class
BehaviourComparisonCounterexample
extends
Counterexample
¶
Constructors
¶
BehaviourComparisonCounterexample
¶
protected
BehaviourComparisonCounterexample
(
APIClient
client
)
¶
Internal constructor
Methods
¶
behaviour1
¶
public io.cocotec.coco.
platform
.
coco
.
Behaviour
behaviour1
(
)
¶
behaviour2
¶
public io.cocotec.coco.
platform
.
coco
.
Behaviour
behaviour2
(
)
¶
fromProtobuf
¶
public static
BehaviourComparisonCounterexample
fromProtobuf
(
APIClient
client
,
Out
.CocoCounterexample
inputValue
)
¶
Internal constructor