Skip to content

Instantly share code, notes, and snippets.

View paolorotolo's full-sized avatar
🖖

Paolo Rotolo paolorotolo

🖖
View GitHub Profile
@paolorotolo
paolorotolo / LabelledSpinner.java
Last active January 11, 2024 16:42 — forked from farbodsz/ LabelledSpinner.md
A Spinner component with a floating label for Android, similar to EditText components wrapped in a TextInputLayout.
/*
* Copyright 2015 Farbod Salamat-Zadeh
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
import androidx.work.WorkInfo
class PrintableStopReason(
private val stopReason: Int) {
override fun toString(): String = when (stopReason) {
WorkInfo.STOP_REASON_NOT_STOPPED -> "STOP_REASON_NOT_STOPPED"
WorkInfo.STOP_REASON_CANCELLED_BY_APP -> "STOP_REASON_CANCELLED_BY_APP"
WorkInfo.STOP_REASON_PREEMPT -> "STOP_REASON_PREEMPT"
WorkInfo.STOP_REASON_TIMEOUT -> "STOP_REASON_TIMEOUT"
WorkInfo.STOP_REASON_DEVICE_STATE -> "STOP_REASON_DEVICE_STATE"
@paolorotolo
paolorotolo / SplitDateTime.java
Last active April 18, 2022 09:06
Split a DateTime string to get single elements
import java.text.DateFormat;
import java.text.ParseException;
import java.text.SimpleDateFormat;
import java.util.Date;
// Use example:
// DateFormat inputFormat = new SimpleDateFormat("yyyy-MM-dd HH:mm");
// SplitDateTime splitDateTime = new SplitDateTime("2015-09-01 14:05");
// timeEditText.setText(splitDateTime.getHour + ":" + splitDateTime.getMinute);
Y= aX + bZ
X 1000
Z 2000
Y 3000
A 4000
B 5000
N 6000
R1 <- N
import 'dart:async';
import 'dart:io';
import 'dart:typed_data';
import 'package:audioplayer/audioplayer.dart';
import 'package:flutter/material.dart';
import 'package:http/http.dart';
import 'package:path_provider/path_provider.dart';
typedef void OnError(Exception exception);
// Copyright 2018 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
import 'package:flutter/material.dart';
import 'package:meta/meta.dart';
import 'unit.dart';
const _padding = EdgeInsets.all(16.0);
// Copyright 2018 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
import 'package:flutter/material.dart';
import 'package:meta/meta.dart';
import 'unit.dart';
const _padding = EdgeInsets.all(16.0);
// Copyright 2018 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
import 'package:flutter/material.dart';
import 'package:meta/meta.dart';
import 'unit.dart';
const _padding = EdgeInsets.all(16.0);
@paolorotolo
paolorotolo / RealmBackupRestore.java
Last active June 17, 2018 17:31
Class to easily backup/restore data from Realm.
package org.glucosio.android.tools;
import android.Manifest;
import android.app.Activity;
import android.content.pm.PackageManager;
import android.os.Environment;
import android.support.v4.app.ActivityCompat;
import android.util.Log;
import android.widget.Toast;
%compensazione con rete ritardatrice
clc
clear
MFR=60; %specifica margine di fase
K=2000; %amplificatore