jabuti-dsl-model-transformation v0.0.12-alpha

Jabuti DSL Model Transformation

• Pending tasks
• Add formats on hover of MessageContent
• MaxNumberOfOperation(24 per Second)
• Add validation for quantity of terms in clause
• Two error messages
• Two terms of requests
• It's not possible two terms in a clause with same operation type

• It's not possible a timeout in request clause

• Tests Scenarios

• A term with TimeInterval("00:00:00" to "23:59:59")
• Transformation of contract with all possible variations

MessageContent('xpath') MessageContent('xpath', '>=', 1) MessageContent('xpath', '=='|'!=' , 'aa') MessageContent('xpath', '<=', 00 per Month) MessageContent(productValue < 20000) MessageContent(productValue > 20000)

timeInterval_C10.isIntoTimeInterval(_accessTime) TimeInterval("00:00:00" to "23:59:59"), // 0, 86399 WeekDaysInterval(Monday to Sunday),

TimeInterval

TimeInterval("00:00:00" to "23:59:59")

1. Convert hour strings for time in seconds

function convertTimeStringToSeconds(time: string) {
    const [hour, minute, seconds] = time.split(':');
    return +(hour ?? 0) * 3600 + +(minute ?? 0) * 60 + +(seconds ?? 0);
}

const initial = convertTimeStringToSeconds("00:00:00");
const final = convertTimeStringToSeconds("23:59:59");

contract Sample {
    function isIntoTimeInterval(uint32 initial, uint32 final) {

    }
}

npx prettier --write --plugin=prettier-plugin-solidity 'sample.sol' npx prettier --list-different --plugin=prettier-plugin-solidity 'sample.sol'