java.io.Serializable
public class ParameterSubstitution
extends java.lang.Object
implements java.io.Serializable
Constructor | Description |
---|---|
ParameterSubstitution(int parameter_id) |
Creates the substitution.
|
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(java.lang.Object ob) |
Equality test.
|
int |
getID() |
Returns the number of this parameter id.
|
Copyright © 2018. All rights reserved.