/*
 * class for parsing the language file to a model/abstract syntax tree
 */
public class A2bParser {

	Injector injector;
	XtextResourceSet resourceSet;
	Resource resource;
	

	public A2bParser(){
		initializeParser();
	}

	private void initializeParser(){
		injector = new A2BStandaloneSetup().createInjectorAndDoEMFRegistration();
		resourceSet = injector.getInstance(XtextResourceSet.class);
		resourceSet.addLoadOption(XtextResource.OPTION_ENCODING, "UTF-8");
		resourceSet.addLoadOption(XtextResource.OPTION_RESOLVE_ALL, Boolean.TRUE);
	}

	public Model parse(String uriPath) throws A2BParseErrorException{
		
		resource = resourceSet.getResource(URI.createFileURI(uriPath), true);
		
		if(resource.getErrors().isEmpty()) {

			Model model = (Model) resource.getContents().get(0);
			return model;

		}else {	
			System.out.println(resource.getErrors().size());
			EList<Diagnostic> errorList = resource.getErrors();
			throw new A2BParseErrorException(errorList);
		}

	}

}

grammar a2b.A2B with org.eclipse.xtext.common.Terminals

generate a2B "http://www.A2B.a2b"
import "http://www.eclipse.org/emf/2002/Ecore" as ecore

Model:
	element+=Instruction*
;

Instruction:
	DB | DW | DD | {CRC} CRC
;

DB:
	'DB' (stringValue=BYTE | intValue=INT) (crcValue=CRCCHECK)?
;

DW:
	'DW' (stringValue=WORD | intValue=INT) (crcValue=CRCCHECK)?
;

DD:
	'DD' (stringValue=DOUBLEWORD | longValue=LONG) (crcValue=CRCCHECK)?
;

CRC:
	'CRC'
;

LONG returns ecore::ELong:
	INT
;

terminal BINARY_:
	(('0' | '1')('0' | '1')('0' | '1')('0' | '1')('0' | '1')('0' | '1')('0' | '1')('0' | '1'))
;

terminal HEX_:
	(('A'..'F' | 'a'..'f' | '0'..'9')('A'..'F' | 'a'..'f' | '0'..'9'))
;

terminal BYTE:
	'0b'BINARY_ |
	'0x'HEX_
;

terminal WORD:
	'0b'BINARY_ BINARY_ | 
	'0x'HEX_ HEX_
;

terminal DOUBLEWORD:
	'0b'BINARY_ BINARY_ BINARY_ BINARY_ | 
	'0x'HEX_ HEX_ HEX_ HEX_
;

terminal CRCCHECK:
	'#'
;

DI 0x45ff003c #
ED 0x1c464000 # w
DW 0x4006 #
CRC
DD 0xac100a63 # +
DD 0xac100a0c #

/*
 * generated by Xtext 2.17.0
 */
package a2b.validation

import a2b.a2B.DW
import org.eclipse.xtext.validation.Check
import a2b.a2B.A2BPackage
import a2b.a2B.DB
import a2b.a2B.DD

/**
 * This class contains custom validation rules. 
 *
 * See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation
 */
class A2BValidator extends AbstractA2BValidator {
	public static val INVALID_NAME = 'invalidName'
	@Check
	def checkDDIntegerValue(DD dd){
		if(dd.longValue > 4294967295L || dd.longValue < 0){
			error('Value for integer is between 0 and 4294967295', A2BPackage.Literals.DD__LONG_VALUE, INVALID_NAME)
		}
	}
	
	@Check
	def checkDWShortValue(DW dw){
		if(dw.intValue > 65535 || dw.intValue < 0){
			error('Value for short is between 0 and 65535', A2BPackage.Literals.DW__INT_VALUE, INVALID_NAME)
		}	
	}
	
	@Check
	def checkDBByteValue(DB db){
		if(db.intValue > 255 || db.intValue < 0){
			error('Value for byte is between 0 and 255', A2BPackage.Literals.DB__INT_VALUE, INVALID_NAME)
		}
	}

	
}