blob: a78d24b7c907a3fc08469c848d8142a5e73de683 [file] [log] [blame]
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2017 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v1.0
// which accompanies this distribution, and is available at
// http://www.eclipse.org/legal/epl-v10.html
//
// Contributors:
// Lenard Nagy
//
///////////////////////////////////////////////////////////////////////////////
module GPIOPinPort {
type enumerated GPIO_PIN_DIRECTION {
IN, //"in"
OUT //"out"
}
type enumerated GPIO_PIN_VALUE {
LOW, //"0"
HIGH //"1"
}
type record GPIO_PIN_STATUS {
boolean is_exported,
GPIO_PIN_DIRECTION direction,
GPIO_PIN_VALUE val
}
// Raspberry Pi GPIO port
// When a port of this type is used it MUST be named as "gpio[2-27]"
//
// E.g.:
// type component GPIO {
// port GPIO_Pin_Port gpio24;
// }
//
type port GPIO_Pin_Port message {
out
GPIO_PIN_DIRECTION, GPIO_PIN_VALUE, GPIO_PIN_STATUS
in
GPIO_PIN_VALUE, GPIO_PIN_STATUS;
}
}