/** * generated by Xtext 2.14.0 */ package ca.mcgill.ecse.dslreasoner.vampireLanguage; import org.eclipse.emf.ecore.EObject; /** * * A representation of the model object 'VLS Comment'. * * *

* The following features are supported: *

* * * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSComment() * @model * @generated */ public interface VLSComment extends EObject { /** * Returns the value of the 'Comment' attribute. * *

* If the meaning of the 'Comment' attribute isn't clear, * there really should be more of a description here... *

* * @return the value of the 'Comment' attribute. * @see #setComment(String) * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#getVLSComment_Comment() * @model * @generated */ String getComment(); /** * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment#getComment Comment}' attribute. * * * @param value the new value of the 'Comment' attribute. * @see #getComment() * @generated */ void setComment(String value); } // VLSComment