void () { assertEquals(CONSUMED, UNKNOWN.meetRelation(RelationType.EQ, CONSUMED)); assertEquals(OPEN, OPEN.meetRelation(RelationType.EQ, OPEN)); assertEquals(CONSUMED, CONSUMED.meetRelation(RelationType.EQ, CONSUMED)); assertEquals(BOTTOM, OPEN.meetRelation(RelationType.EQ, CONSUMED)); assertEquals(OPEN, OPEN.meetRelation(RelationType.EQ, UNKNOWN)); assertEquals(OPEN, UNKNOWN.meetRelation(RelationType.NE, CONSUMED)); assertEquals(BOTTOM, OPEN.meetRelation(RelationType.NE, OPEN)); assertEquals(BOTTOM, CONSUMED.meetRelation(RelationType.NE, CONSUMED)); assertEquals(OPEN, OPEN.meetRelation(RelationType.NE, CONSUMED)); assertEquals(OPEN, OPEN.meetRelation(RelationType.NE, UNKNOWN)); }