org.ggp.base.validator.ValidatorWarning Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation
Show all versions of alloy-ggp-base Show documentation
A modified version of the GGP-Base library for Alloy.
The newest version!
package org.ggp.base.validator;
public class ValidatorWarning {
private final String warningMessage;
public ValidatorWarning(String warningMessage) {
this.warningMessage = warningMessage;
}
@Override
public String toString() {
return warningMessage;
}
}