package org.eclipse.viatra.query.runtime.runonce.tests; import java.util.Arrays; import java.util.List; import org.eclipse.viatra.examples.library.Library; import org.eclipse.viatra.query.runtime.api.IPatternMatch; import org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch; import org.eclipse.viatra.query.runtime.exception.ViatraQueryException; import org.eclipse.viatra.query.runtime.runonce.tests.util.SumOfPagesInLibraryQuerySpecification; /** * Pattern-specific match representation of the org.eclipse.viatra.query.runtime.runonce.tests.sumOfPagesInLibrary pattern, * to be used in conjunction with {@link SumOfPagesInLibraryMatcher}. * * <p>Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned. * Each instance is a (possibly partial) substitution of pattern parameters, * usable to represent a match of the pattern in the result of a query, * or to specify the bound (fixed) input parameters when issuing a query. * * @see SumOfPagesInLibraryMatcher * @see SumOfPagesInLibraryProcessor * */ @SuppressWarnings("all") public abstract class SumOfPagesInLibraryMatch extends BasePatternMatch { private Library fLibrary; private Integer fSumOfPages; private static List<String> parameterNames = makeImmutableList("library", "sumOfPages"); private SumOfPagesInLibraryMatch(final Library pLibrary, final Integer pSumOfPages) { this.fLibrary = pLibrary; this.fSumOfPages = pSumOfPages; } @Override public Object get(final String parameterName) { if ("library".equals(parameterName)) return this.fLibrary; if ("sumOfPages".equals(parameterName)) return this.fSumOfPages; return null; } public Library getLibrary() { return this.fLibrary; } public Integer getSumOfPages() { return this.fSumOfPages; } @Override public boolean set(final String parameterName, final Object newValue) { if (!isMutable()) throw new java.lang.UnsupportedOperationException(); if ("library".equals(parameterName) ) { this.fLibrary = (Library) newValue; return true; } if ("sumOfPages".equals(parameterName) ) { this.fSumOfPages = (Integer) newValue; return true; } return false; } public void setLibrary(final Library pLibrary) { if (!isMutable()) throw new java.lang.UnsupportedOperationException(); this.fLibrary = pLibrary; } public void setSumOfPages(final Integer pSumOfPages) { if (!isMutable()) throw new java.lang.UnsupportedOperationException(); this.fSumOfPages = pSumOfPages; } @Override public String patternName() { return "org.eclipse.viatra.query.runtime.runonce.tests.sumOfPagesInLibrary"; } @Override public List<String> parameterNames() { return SumOfPagesInLibraryMatch.parameterNames; } @Override public Object[] toArray() { return new Object[]{fLibrary, fSumOfPages}; } @Override public SumOfPagesInLibraryMatch toImmutable() { return isMutable() ? newMatch(fLibrary, fSumOfPages) : this; } @Override public String prettyPrint() { StringBuilder result = new StringBuilder(); result.append("\"library\"=" + prettyPrintValue(fLibrary) + ", "); result.append("\"sumOfPages\"=" + prettyPrintValue(fSumOfPages) ); return result.toString(); } @Override public int hashCode() { final int prime = 31; int result = 1; result = prime * result + ((fLibrary == null) ? 0 : fLibrary.hashCode()); result = prime * result + ((fSumOfPages == null) ? 0 : fSumOfPages.hashCode()); return result; } @Override public boolean equals(final Object obj) { if (this == obj) return true; if (!(obj instanceof SumOfPagesInLibraryMatch)) { // this should be infrequent if (obj == null) { return false; } if (!(obj instanceof IPatternMatch)) { return false; } IPatternMatch otherSig = (IPatternMatch) obj; if (!specification().equals(otherSig.specification())) return false; return Arrays.deepEquals(toArray(), otherSig.toArray()); } SumOfPagesInLibraryMatch other = (SumOfPagesInLibraryMatch) obj; if (fLibrary == null) {if (other.fLibrary != null) return false;} else if (!fLibrary.equals(other.fLibrary)) return false; if (fSumOfPages == null) {if (other.fSumOfPages != null) return false;} else if (!fSumOfPages.equals(other.fSumOfPages)) return false; return true; } @Override public SumOfPagesInLibraryQuerySpecification specification() { try { return SumOfPagesInLibraryQuerySpecification.instance(); } catch (ViatraQueryException ex) { // This cannot happen, as the match object can only be instantiated if the query specification exists throw new IllegalStateException (ex); } } /** * Returns an empty, mutable match. * Fields of the mutable match can be filled to create a partial match, usable as matcher input. * * @return the empty match. * */ public static SumOfPagesInLibraryMatch newEmptyMatch() { return new Mutable(null, null); } /** * Returns a mutable (partial) match. * Fields of the mutable match can be filled to create a partial match, usable as matcher input. * * @param pLibrary the fixed value of pattern parameter library, or null if not bound. * @param pSumOfPages the fixed value of pattern parameter sumOfPages, or null if not bound. * @return the new, mutable (partial) match object. * */ public static SumOfPagesInLibraryMatch newMutableMatch(final Library pLibrary, final Integer pSumOfPages) { return new Mutable(pLibrary, pSumOfPages); } /** * Returns a new (partial) match. * This can be used e.g. to call the matcher with a partial match. * <p>The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object. * @param pLibrary the fixed value of pattern parameter library, or null if not bound. * @param pSumOfPages the fixed value of pattern parameter sumOfPages, or null if not bound. * @return the (partial) match object. * */ public static SumOfPagesInLibraryMatch newMatch(final Library pLibrary, final Integer pSumOfPages) { return new Immutable(pLibrary, pSumOfPages); } private static final class Mutable extends SumOfPagesInLibraryMatch { Mutable(final Library pLibrary, final Integer pSumOfPages) { super(pLibrary, pSumOfPages); } @Override public boolean isMutable() { return true; } } private static final class Immutable extends SumOfPagesInLibraryMatch { Immutable(final Library pLibrary, final Integer pSumOfPages) { super(pLibrary, pSumOfPages); } @Override public boolean isMutable() { return false; } } }