swim.math.BoxZ3Form Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of swim-math Show documentation

Uploads all artifacts belonging to configuration ':swim-math:archives'

There is a newer version: 3.10.0

// Copyright 2015-2019 SWIM.AI inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

package swim.math;

import swim.structure.Item;
import swim.structure.Record;
import swim.structure.Value;

final class BoxZ3Form extends Z3Form {
  @Override
  public String tag() {
    return "box";
  }

  @Override
  public Class type() {
    return BoxZ3.class;
  }

  @Override
  public long getXMin(BoxZ3 box) {
    return box.xMin;
  }

  @Override
  public long getYMin(BoxZ3 box) {
    return box.yMin;
  }

  @Override
  public long getZMin(BoxZ3 box) {
    return box.zMin;
  }

  @Override
  public long getXMax(BoxZ3 box) {
    return box.xMax;
  }

  @Override
  public long getYMax(BoxZ3 box) {
    return box.yMax;
  }

  @Override
  public long getZMax(BoxZ3 box) {
    return box.zMax;
  }

  @Override
  public boolean contains(BoxZ3 outer, BoxZ3 inner) {
    return outer.contains(inner);
  }

  @Override
  public boolean intersects(BoxZ3 s, BoxZ3 t) {
    return s.intersects(t);
  }

  @Override
  public Item mold(BoxZ3 box) {
    if (box != null) {
      return Record.create(1).attr(tag(), Record.create(6)
          .item(box.xMin).item(box.yMin).item(box.zMin)
          .item(box.xMax).item(box.yMax).item(box.zMax));
    } else {
      return Item.extant();
    }
  }

  @Override
  public BoxZ3 cast(Item item) {
    final Value header = item.toValue().header(tag());
    if (header.isDefined()) {
      final long xMin = header.getItem(0).longValue(0L);
      final long yMin = header.getItem(1).longValue(0L);
      final long zMin = header.getItem(2).longValue(0L);
      final long xMax = header.getItem(3).longValue(0L);
      final long yMax = header.getItem(4).longValue(0L);
      final long zMax = header.getItem(5).longValue(0L);
      return new BoxZ3(xMin, yMin, zMin, xMax, yMax, zMax);
    } else {
      return null;
    }
  }
}