de.learnlib.api.Query Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of learnlib-core Show documentation
Show all versions of learnlib-core Show documentation
Infrastructure and core functionalities of LearnLib
/* Copyright (C) 2013-2014 TU Dortmund
* This file is part of LearnLib, http://www.learnlib.de/.
*
* LearnLib is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License version 3.0 as published by the Free Software Foundation.
*
* LearnLib is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with LearnLib; if not, see
* .
*/
package de.learnlib.api;
import javax.annotation.Nonnull;
import javax.annotation.Nullable;
import net.automatalib.words.Word;
public abstract class Query {
private int hashCode = 0;
@Nonnull
public abstract Word getPrefix();
@Nonnull
public abstract Word getSuffix();
public abstract void answer(@Nullable O output);
@Nonnull
public final Word getInput() {
return getPrefix().concat(getSuffix());
}
/*
* (non-Javadoc)
* @see java.lang.Object#equals(java.lang.Object)
*/
@Override
public final boolean equals(Object o) {
if(o == null)
return false;
if(this == o)
return true;
if(!(o instanceof Query))
return false;
Query other = (Query)o;
Word thisPref = getPrefix();
Word thisSuff = getSuffix();
Word otherPref = other.getPrefix();
Word otherSuff = other.getSuffix();
if(thisPref != otherPref && !thisPref.equals(otherPref))
return false;
if(thisSuff != otherSuff && !thisSuff.equals(otherSuff))
return false;
return true;
}
/*
* (non-Javadoc)
* @see java.lang.Object#hashCode()
*/
@Override
public final int hashCode() {
if(hashCode != 0)
return hashCode;
Word prefix = getPrefix(), suffix = getSuffix();
hashCode = 5;
hashCode = 89 * hashCode + prefix.hashCode();
hashCode = 89 * hashCode + suffix.hashCode();
return hashCode;
}
/**
* Returns the string representation of this query.
*
* @return A string of the form "Query[|]" for queries not containing
* an answer or "Query[| / ]" if an answer may be specified.
*/
@Override
public String toString() {
return "Query[" + getPrefix() + '|' + getSuffix() + ']';
}
}