Package | Description |
---|---|
org.key_project.util.bean |
Modifier and Type | Class and Description |
---|---|
class |
Bean
Implements the basic methods that a Java bean should have and
is the default implementation of
IBean . |
Copyright © 2003-2019 The KeY-Project.