/* ******************************** */
/* Warning! Don't modify this file! */
/* ******************************** */
#include "STM32G0_Task.h"
#include "PikaStdTask_Task.h"
#include <stdio.h>
#include <stdlib.h>
#include "BaseObj.h"

void STM32G0_Task_platformGetTickMethod(PikaObj *self, Args *args){
    STM32G0_Task_platformGetTick(self);
}

PikaObj *New_STM32G0_Task(Args *args){
    PikaObj *self = New_PikaStdTask_Task(args);
    class_defineMethod(self, "platformGetTick()", STM32G0_Task_platformGetTickMethod);
    return self;
}

Arg *STM32G0_Task(PikaObj *self){
    return obj_newObjInPackage(New_STM32G0_Task);
}