Examples with IntervalType com.rockwellcollins.atc.agree.analysis.realtime.AgreePatternInterval.IntervalType used on opensource projects

Example 1 with IntervalType

use of com.rockwellcollins.atc.agree.analysis.realtime.AgreePatternInterval.IntervalType in project AGREE by loonwerks.

the class AgreePatternBuilder method getIntervalType.

private AgreePatternInterval getIntervalType(TimeInterval interval) {
    if (interval == null) {
        return null;
    }
    Expr low = builder.doSwitch(interval.getLow());
    Expr high = builder.doSwitch(interval.getHigh());
    IntervalType type;
    if (interval instanceof OpenTimeInterval) {
        type = IntervalType.OPEN;
    } else if (interval instanceof OpenLeftTimeInterval) {
        type = IntervalType.OPEN_LEFT;
    } else if (interval instanceof OpenRightTimeInterval) {
        type = IntervalType.OPEN_RIGHT;
    } else if (interval instanceof ClosedTimeInterval) {
        type = IntervalType.CLOSED;
    } else {
        throw new AgreeException("Unhandled TimeInterval type: " + interval.getClass());
    }
    return new AgreePatternInterval(type, low, high);
}