Package net.ssehub.easy.varModel.cstEvaluation

Class ReferenceOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.ReferenceOperations

public class ReferenceOperations
extends Object

Implements reference operations.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final IOperationEvaluator	REF_BY	Implements the "refBy" dereferencing operation.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ReferenceOperations()	Prevents external creation.

Method Summary

Modifier and Type	Method	Description
static final void	register()	Registers the defined operations.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

REF_BY

static final IOperationEvaluator REF_BY

Implements the "refBy" dereferencing operation.

Constructor Details

ReferenceOperations

private ReferenceOperations()

Prevents external creation.

Method Details

register

public static final void register()

Registers the defined operations.